文章基本信息

标题：Symmetries in Modal Logics
本地全文：下载
作者：Carlos Areces ; Guillaume Hoffmann ; Ezequiel Orbe 等
期刊名称：Electronic Proceedings in Theoretical Computer Science
电子版ISSN：2075-2180
出版年度：2013
卷号：113
页码：27-44
DOI：10.4204/EPTCS.113.6
出版社：Open Publishing Association
摘要：We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas. Our framework uses the coinductive models and, hence, the results apply to a wide class of modal logics including, for example, hybrid logics. Our main result shows that the symmetries of a modal formula preserve entailment.