A note on the complexity of S4.2.

Aggeliki Chalki,Costas D. Koutras,Yorgos Zikos

J. Appl. Non Class. Logics（2021）

引用 0|浏览2

暂无评分

摘要

S4.2 is the modal logic of directed partial pre-orders and/or the modal logic of reflexive and transitive relational frames with a final cluster. It holds a distinguished position in philosophical ...

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要