文章基本信息

标题：Two variable fragment of Term Modal Logic
本地全文：下载
作者：Anantha Padmanabha ; R. Ramanujam
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2019
卷号：138
页码：1-14
DOI：10.4230/LIPIcs.MFCS.2019.30
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Term modal logics (TML) are modal logics with unboundedly many modalities, with quantification over modal indices, so that we can have formulas of the form Exists y Forall x (Box_x P(x,y) implies Diamond_y P(y,x)). Like First order modal logic, TML is also "notoriously" undecidable, in the sense that even very simple fragments are undecidable. In this paper, we show the decidability of one interesting fragment, that of two variable TML. This is in contrast to two-variable First order modal logic, which is undecidable.
关键词：Term modal logic; satisfiability problem; two variable fragment; decidability