模态一阶逻辑

添加链接
维基百科，自由的百科全书

模态一阶逻辑是指在经典一阶逻辑中加进模态概念[1]。实质上这和由经典命题逻辑构成模态命题的情形相同。模态一阶逻辑也可以在模态命题逻辑中加进量词而构成。

参考

  1. ^ 哲学逻辑的发展趋势及其对我们的启示-光明日报-光明网. [2021-12-17]. （原始内容存档于2021-12-17）. 
取自“https://zh.wikipedia.org/w/index.php?title=模态一阶逻辑&oldid=69447164”