Neighbourhood contingency bisimulation
Zeinab Bakhtiari (Lorraine University)
Hans Van Ditmarsch (Institute for Mathematical Sciences, Lorraine University)
Helle Hvid Hansen (TU Delft - Energy and Industry, Centrum Wiskunde & Informatica (CWI))
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.