Bimodal logic with contingency and accident: bisimulation and axiomatizations

DOI10.1007/s11787-021-00270-9OpenAlexW3139359530MaRDI QIDQ2044999

Jie Fan

Publication date: 11 August 2021

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-021-00270-9

zbMATH Keywords

contingencybisimulationaxiomatizationsaccidentVan Benthem characterization theorem

Mathematics Subject Classification ID

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

Related Items (1)

A unified logic for contingency and accident

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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 logic of non-contingency
• Minimal non-contingency logic
• The power of the hexagon
• Symmetric contingency logic with unlimitedly many modalities
• Strong noncontingency: on the modal logics of an operator expressively weaker than necessity
• Bimodal logics with contingency and accident
• REFLEXIVE-INSENSITIVE MODAL LOGICS
• A Road to Ultrafilter Extensions
• A logical analysis of some value concepts
• CONTINGENCY AND KNOWING WHETHER

This page was built for publication: Bimodal logic with contingency and accident: bisimulation and axiomatizations