Symmetries in Modal Logics

IF 0.7 3区数学 Q1 LOGIC

Bulletin of Symbolic Logic Pub Date : 2013-03-28 DOI:10.4204/EPTCS.113.6

C. Areces, Guillaume Hoffmann, Ezequiel Orbe

引用次数: 3

Abstract

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.

查看原文本刊更多论文

模态逻辑中的对称性

将合取范式的命题公式的对称性推广到模态公式。我们的框架使用共归纳模型，因此，结果适用于模态逻辑的广泛类别，包括，例如，混合逻辑。我们的主要结果表明，模态公式的对称性保留了蕴涵。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Bulletin of Symbolic Logic 数学-数学

CiteScore

0.60

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. It is designed to cover all areas within the purview of the ASL: mathematical logic and its applications, philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and methodology of mathematics.