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

modal logicreflexivityminimal logics

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.

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

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

Cited in

(14)

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

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)