SYMMETRIES IN MODAL LOGICS
نویسندگان
چکیده
منابع مشابه
Symmetries in Modal Logics
We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas. Our framework uses the coinductive models introduced in [4] 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: if σ is a symmetry of φ then φ |= ψ if and ...
متن کاملSymmetries in Modal Logics: A Coinductive Approach
We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas. Our framework uses the coinductive models introduced in [4] 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: if σ is a symmetry of φ then φ |= ψ if and ...
متن کاملMonotonic Modal Logics
Monotonic modal logics form a generalisation of normal modal logics in which the additivity of the diamond modality has been weakened to monotonicity: 3p∨3q → 3(p∨q). This generalisation means that Kripke structures no longer form an adequate semantics. Instead monotonic modal logics are interpreted over monotonic neighbourhood structures, that is, neighbourhood structures where the neighbourho...
متن کاملAutoepistemic Modal Logics
A modM approach to nonmonotonic reasoning was proposed by Drew McDermott and Jon Doyle in 1980-82. Almost immediately some disadvantages of that approach were pointed out. Robert Moore (1983) proposed his atltoepistemic logic, which overcomes these difficulties. Later, some authors (Kurt Konolige, Paul Morris and others) found peculiarities of different kinds in Moore's logic and proposed rathe...
متن کاملParaconsistent Modal Logics
We introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and axiomatizing the corresponding algebraic semantics. We provide a representation for these algebras in terms of twist-structures, generalizing a known result ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Bulletin of Symbolic Logic
سال: 2015
ISSN: 1079-8986,1943-5894
DOI: 10.1017/bsl.2015.31