A family of neighborhood contingency logics
From MaRDI portal
Publication:2295739
DOI10.1215/00294527-2019-0025zbMath1444.03052arXiv1809.09495MaRDI QIDQ2295739
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
axiomatization; neighborhood semantics; canonical model construction; monotone modal logic; contingency logic; regular modal logic
03B45: Modal logic (including the logic of norms)
Related Items
A logic for disjunctive ignorance, Two variants of noncontingency operator, Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics, A unified logic for contingency and accident
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item