专有覆盖模态
Exclusive Cover Modality
![]()
摘要:
We introduce a modality called exclusive cover modality which requires the formulas in the prefixed multiset to be satisfied on distinct successors, and show that exclusive cover modal logic has exactly the same expressive power with graded modal logic (GML, with all the finitely-counting modalities). Also, by combining basic modal logic and exclusive cover modal logic, we get a logic which has the same expressive power with exclusive instantial neighborhood logic (eINL), together with some ideas on the axiomatization.References
[1] De Rijke, Maarten. "A note on graded modal logic." Studia Logica 64.2 (2000): 271-283.
[2] Fattorosi-Barnaba, Maurizio, and Francesco De Caro. “Graded modalities. I.” Studia Logica 44 (1985): 197-221.
[3] Gao, Han. “On some variants of instantial neighborhood logic.” Tsinghua University, 2022.
![]()
清华大学2023级逻辑学硕士研究生，研究兴趣为邻域逻辑。
时间：2024年6月6日 (周四) 14:00-15:30
地点：清华大学逻辑学研究中心
(蒙民伟人文楼 329)
![]()
关注我们，及时获取更多关于清华-阿姆斯特丹逻辑学联合研究中心的研究成果、科研教学活动、前沿问题研究进展及其他相关资讯。
