We introduce a notion of bisimulation for contingency logic interpreted on neighbourhood structures, characterise this logic as bisimulation-invariant fragment of modal logic and of first-order logic, and compare it with existing notions in the literature.

Additional Metadata
Persistent URL dx.doi.org/10.1007/978-3-662-54069-5_5
Series Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence
Conference Indian Conference on Logic and Its Applications
Citation
Bakhtiari, Z, van Ditmarsch, H, & Hansen, H.H. (2017). Neighbourhood contingency bisimulation. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence. doi:10.1007/978-3-662-54069-5_5