Strong noncontingency: on the modal logics of an operator expressively weaker than necessity

DOI10.1215/00294527-2019-0010zbMath1441.03019arXiv1505.03950OpenAlexW3099361390MaRDI QIDQ2330503

Jie Fan

Publication date: 22 October 2019

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

completenessbisimulationexpressivityframe definabilitystrong noncontingency

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (5)

Bimodal logics with contingency and accident ⋮ Bimodal logic with contingency and accident: bisimulation and axiomatizations ⋮ A logic for disjunctive ignorance ⋮ Two variants of noncontingency operator ⋮ Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics

Cites Work

• Being wrong: logics for false belief
• A note on logics of ignorance and borders
• Necessity and contingency
• Completeness and definability in the logic of noncontingency
• The modal logic of agreement and noncontingency
• The logic of non-contingency
• Minimal non-contingency logic
• Neighborhood Contingency Logic
• Epistemology Without Knowledge and Without Belief
• Syntax and semantics of questions
• CONTINGENCY AND KNOWING WHETHER
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Strong noncontingency: on the modal logics of an operator expressively weaker than necessity