Modal Logic and Planarity of Graphs

Modal Logic and Planarity of Graphs
复制标题

模态逻辑和图的平面性

DOI：
10.1007/978-981-15-7134-3_9
复制
发表时间：
2020
期刊：
Context, Conflict and Reasoning, Logic in Asia: Studia Logica Library
影响因子：
--
通讯作者：
Izumi Takeuti and Katsuhiko Sano
Izumi Takeuti and Katsuhiko Sano
中科院分区：
--
文献类型：
--
作者：
Youan Su;Ryo Murai and Katsuhiko Sano;Sujata Ghosh and Katsuhiko Sano;Takahiro Sawasaki and Katsuhiko Sano;Takahiro Sawasaki and Katsuhiko Sano;Ryo Hatano and Katsuhiko Sano;Ryo Hatano and Katsuhiko Sano;Takahiro Sawasaki and Katsuhiko Sano;Izumi Takeuti and Katsuhiko Sano

文献摘要

相似文献

当一个Kripke框架被看作一个图时，公式的外延被解释为图中的一个集合，因此模态公式可以用来描述图的性质。本研究特别关注图的平面性，并提出一种可定义平面性的扩展模态逻辑语法。此外，我们还提供了所考虑的逻辑的语义完整和可判定的公理化。
When a Kripke frame is viewed as a graph, the denotation of a formula is interpreted as a set in a graph and so a modal formula can be used to describe the properties of graphs. This study particularly focuses on planarity of graphs and proposes a syntax of extended modal logic in which planarity is definable. Moreover, we provide semantically complete and decidable axiomatizations of the logics under consideration.