Reflexive-insensitive modal logics

DOI10.1017/S175502031500026XMaRDI QIDQ2804478zbMATH OpenOpenAlexFDO

Authors David R. Gilbert, Giorgio Venturi

Publication date 29 April 2016

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1507.06113

zbMATH Keywords

minimal logicsmodal logicreflexivity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Abstract: We analyze a class of modal logics rendered insensitive to reflexivity by way of a modification to the semantic definition of the modal operator. We explore the extent to which these logics can be characterized, and prove a general completeness theorem on the basis of a translation between normal modal logics and their reflexive-insensitive counterparts. Lastly, we provide a sufficient semantic condition describing when a similarly general soundness result is also available.

Review text

This is a very interesting paper. It proposes a semantical method to turn modal logics insensitive to reflexivity. The idea originated in the works of \textit{J. Marcos} [Bull. Sect. Log., Univ. Łódź, Dep. Log. 34, No. 1, 43--56 (2005; Zbl 1117.03305)] and \textit{C. Steinsvold} [Notre Dame J. Formal Logic 49, No. 4, 385--392 (2008; Zbl 1180.03017)], but the current paper seems to provide a more structural analysis of the subject.NEWLINENEWLINEThe semantic trick is based on an additional modal operator, which is rather intuitive and natural. Then, the authors show the completeness of this new modal logic with the new modality using the standard techniques (maximal consistent sets).NEWLINENEWLINEWhat I think the most important contribution of the paper is its study of the translation from normal modal logics to the reflexivity-insensitive logics. The reason why I found that part interesting is that it has potential to relate to many other many-valued logics by way of a syntactic translation.NEWLINENEWLINEFinally, it seems that there is an intrinsic relation between reflexivity-insensitivity and (a global interpretation of) negation, which still remains to be explored more in detail.

Recommendations

• Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness
• scientific article; zbMATH DE number 92610
• Substructural logics with a reflexive transitive closure modality
• A hierarchy of modal logics with relative accessibility relations
• A hybridization of irreflexive modal logics

Cites work

• A note on logics of ignorance and borders
• Being wrong: logics for false belief
• scientific article; zbMATH DE number 1749192 (Why is no real title available?)
• The McKinsey axiom is not canonical

Cited in

(15)

• Reflexive intermediate first-order logics
• Substructural logics with a reflexive transitive closure modality
• Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness
• Bimodal logic with contingency and accident: bisimulation and axiomatizations
• A logic for disjunctive ignorance
• Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics
• A unified logic for contingency and accident
• Bimodal logics with contingency and accident
• A logic for factive ignorance
• Inequality without irreflexivity
• A non-standard Kripke semantics for the minimal deontic logic
• On non-self-referential fragments of modal logics
• scientific article; zbMATH DE number 5029987 (Why is no real title available?)
• Logics of true belief
• Insensitive games: game semantics for modal insensitivity

This page was built for publication: Reflexive-insensitive modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804478)