A family of neighborhood contingency logics

DOI10.1215/00294527-2019-0025zbMath1444.03052arXiv1809.09495OpenAlexW3101842518MaRDI QIDQ2295739

Jie Fan

Publication date: 14 February 2020

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

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

zbMATH Keywords

axiomatizationneighborhood semanticscanonical model constructionmonotone modal logiccontingency logicregular modal logic

Mathematics Subject Classification ID

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

Related Items (4)

A unified logic for contingency and accident ⋮ 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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Zolin and Pizzi: defining necessity from noncontingency
• 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
• Neighbourhood Contingency Bisimulation
• CONTINGENCY AND KNOWING WHETHER
• Universal grammar

This page was built for publication: A family of neighborhood contingency logics