Reflexive-insensitive modal logics

DOI10.1017/S175502031500026XzbMATH Open1353.03011arXiv1507.06113OpenAlexW2253605250MaRDI QIDQ2804478FDOQ2804478

Authors: David R. Gilbert, Giorgio Venturi 

Publication date: 29 April 2016

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

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.

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

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

zbMATH Keywords

modal logicreflexivityminimal logics

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Being wrong: logics for false belief
• The McKinsey axiom is not canonical
• A note on logics of ignorance and borders

Cited In (13)

• Inequality without irreflexivity
• Logics of true belief
• Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic
• Reflexive intermediate first-order logics
• A unified logic for contingency and accident
• Bimodal logic with contingency and accident: bisimulation and axiomatizations
• Title not available (Why is that?)
• A logic for disjunctive ignorance
• Bimodal logics with contingency and accident
• A logic for factive ignorance
• On non-self-referential fragments of modal logics
• Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness

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)