Two variants of noncontingency operator

DOI10.1215/00294527-2021-0025OpenAlexW3207157786MaRDI QIDQ2075274

Jie Fan

Publication date: 14 February 2022

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

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

zbMATH Keywords

bifurcationexpressivityaxiomatizationnoncontingencyweak belief-disagreement

Mathematics Subject Classification ID

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

Cites Work

• Modal logic for other-world agnostics: Neutrality and Halldén incompleteness
• A note on logics of ignorance and borders
• Necessity and contingency
• Hallden-completeness by gluing of Kripke frames
• Completeness and definability in the logic of noncontingency
• The modal logic of agreement and noncontingency
• Logic for describing strong belief-disagreement between agents
• The logic of non-contingency
• Minimal non-contingency logic
• Symmetric contingency logic with unlimitedly many modalities
• A family of neighborhood contingency logics
• Strong noncontingency: on the modal logics of an operator expressively weaker than necessity
• Understanding the Brandenburger-Keisler paradox
• Neighborhood Contingency Logic
• Cluster expansion and the boxdot conjecture
• Beyond Knowing That: A New Generation of Epistemic Logics
• 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: Two variants of noncontingency operator