Print Email Facebook Twitter Neighbourhood contingency bisimulation Title Neighbourhood contingency bisimulation Author Bakhtiari, Zeinab (Lorraine University) Van Ditmarsch, Hans (Lorraine University; Institute for Mathematical Sciences) Hansen, H.H. (TU Delft Energie and Industrie; Centrum Wiskunde & Informatica (CWI)) Date 2017 Abstract 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. To reference this document use: http://resolver.tudelft.nl/uuid:3a43b44e-4e34-4a48-8967-8ee10f083a03 DOI https://doi.org/10.1007/978-3-662-54069-5_5 Publisher Springer ISBN 9783662540688 Source Logic and Its Applications - 7th Indian Conference, ICLA 2017, Proceedings, 10119 LNCS Event 7th Indian Conference on Logic and Its Applications, 2017-01-05 → 2017-01-07, Kanpur, India Series Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 03029743, 10119 LNCS Part of collection Institutional Repository Document type conference paper Rights © 2017 Zeinab Bakhtiari, Hans Van Ditmarsch, H.H. Hansen Files PDF ncb_icla.pdf 425.08 KB Close viewer /islandora/object/uuid:3a43b44e-4e34-4a48-8967-8ee10f083a03/datastream/OBJ/view