[其他] 量化逻辑--Kremer, Philip - Quantified modal logic on the rational line [推广有奖]

0关注
2粉丝

已卖：110份资源

学科带头人

90%

还不是VIP/贵宾

威望: 0 级
论坛币: 3 个
通用积分: 51.9675
学术水平: 1 点
热心指数: 1 点
信用等级: 0 点
经验: 41642 点
帖子: 2005
精华: 0
在线时间: 1057 小时
注册时间: 2024-7-18
最后登录: 2025-12-8

楼主

Kaka-2030 发表于 2025-10-3 07:46:46 |AI写论文

是否 +2 论坛币

k人参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

T HE R EVIEW OF S YMBOLIC L OGIC
   Volume 7, Number 3, September 2014

         QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE
                           PHILIP KREMER
                  Department of Philosophy, University of Toronto

      Abstract. In the topological semantics for propositional modal logic, S4 is known to be complete
   for the class of all topological spaces, for the rational line, for Cantor space, and for the real line. In
   the topological semantic ...