Neighbourhood contingency bisimulation
Zeinab Bakhtiari (Lorraine University)
Hans Van Ditmarsch (Lorraine University, Institute for Mathematical Sciences)
Helle Hansen (Centrum Wiskunde & Informatica (CWI), TU Delft - Energy and Industry)
More Info
expand_more
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.
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.