Neighbourhood Contingency Bisimulation
نویسندگان
چکیده
We introduce a notion of bisimulation for contingency logic interpreted on neighbourhood structures, characterise this logic as bisimulationinvariant fragment of modal logic and of first-order logic, and compare it with existing notions in the literature.
منابع مشابه
Bisimulation for Neighbourhood Structures
Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. In coalgebraic terms, a neighbourhood frame is a coalgebra for the contravariant powerset functor composed with itself, denoted by 2. In our paper, we investigate the coalgebraic equivalence notions of 2-bisimulation, behavioural equivalence and neighbourhood bisimulation (a notion based on pus...
متن کاملNeighborhood Contingency Logic: A New Perspective
In this paper, we propose a new neighborhood semantics for contingency logic, by introducing a simple property in standard neighborhood models. This simplifies the neighborhood semantics given in Fan and van Ditmarsch [4], but does not change the set of valid formulas. Under this perspective, among various notions of bisimulation and respective Hennessy-Milner Theorems, we show that c-bisimulat...
متن کاملAlmost Necessary
A formula is contingent if it is possibly true and possibly false. A formula is noncontingent if it is not contingent, i.e., if it is necessarily true or necessarily false. In an epistemic setting, ‘a formula is contingent’ means that you are ignorant about its value, whereas ‘a formula is non-contingent’ means that you know whether it is true. Although non-contingency is definable in terms of ...
متن کاملInstantial Neighbourhood Logic
This paper explores a new language of neighbourhood structures where existential information can be given about what kind of worlds occur in a neighbourhood of a current world. The resulting system of ‘instantial neighbourhood logic’ INL has a non-trivial mix of features from relational semantics and from neighbourhood semantics. We explore some basic model-theoretic behavior, including a match...
متن کاملMonotonic Modal Logics
Monotonic modal logics form a generalisation of normal modal logics in which the additivity of the diamond modality has been weakened to monotonicity: 3p∨3q → 3(p∨q). This generalisation means that Kripke structures no longer form an adequate semantics. Instead monotonic modal logics are interpreted over monotonic neighbourhood structures, that is, neighbourhood structures where the neighbourho...
متن کامل