A unified logic for contingency and accident

DOI10.1007/s10992-021-09647-zOpenAlexW4206203463MaRDI QIDQ2155936

Jie Fan

Publication date: 15 July 2022

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-021-09647-z

zbMATH Keywords

contingencyunificationbisimulationexpressivityaxiomatizationspublic announcementsframe definabilityaccident

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Zolin and Pizzi: defining necessity from noncontingency
• Necessity and relative contingency
• A note on logics of ignorance and borders
• Necessity and contingency
• Completeness and definability in the logic of noncontingency
• The logic of non-contingency
• Minimal non-contingency logic
• Bimodal logic with contingency and accident: bisimulation and axiomatizations
• Symmetric contingency logic with unlimitedly many modalities
• A family of neighborhood contingency logics
• Bimodal logics with contingency and accident
• REFLEXIVE-INSENSITIVE MODAL LOGICS
• Neighborhood Contingency Logic
• Interplays of knowledge and non-contingency
• Logics of (In)sane and (Un)reliable Beliefs
• Neighbourhood Contingency Bisimulation
• CONTINGENCY AND KNOWING WHETHER
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A unified logic for contingency and accident