2017
Neighbourhood contingency bisimulation
Publication
Publication
Presented at the
Indian Conference on Logic and Its Applications (January 2017), Kanpur, India
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 | |
|---|---|
| doi.org/10.1007/978-3-662-54069-5_5 | |
| Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence | |
| Indian Conference on Logic and Its Applications | |
| Organisation | Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands |
|
Bakhtiari, Z., van Ditmarsch, H., & Hansen, H. (2017). Neighbourhood contingency bisimulation. In Indian Conference on Logic and its Applications (pp. 48–63). doi:10.1007/978-3-662-54069-5_5 |
|
