… 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 …

… bisimulation and respective Hennessy-Milner Theorems, we show that c-bisimulation is
equivalent to nbh-∆-bisimulation … , in the sense that every nbh-∆-bisimulation (between neighbor…

… the neighbourhood modality from Example 5, we find that a relation Z is a □-bisimulation
between neighbourhood … proved for contingency logic over neighbourhood frames, that is, over …

… Note that for the sake of technical convenience, we define the notion of bisimulation on a
single model, since the ( -Zig) and ( -Zag) require a condition about ‘sibling’ worlds, that is, the …

… This article proposes the axiomatizations of contingency logics … of monotone contingency
logic and regular contingency logic, … A neighborhood frame is a neighborhood model without …

… and neighbourhood bisimulation are too strong for contingency logic. We propose a notion
of neighbourhood contingency bisimulation that fits the expressivity of contingency logic. Our …

… and neighbourhood bisimulation are too strong for contingency logic. We propose a notion
of neighbourhood contingency bisimulation that fits the expressivity of contingency logic. Our …

… used in the definitions of Λ-bisimulation [4], neighbourhood bisimulation [16], and conditional
… in [5, Proposition 6] which states that Λ-bisimilarity for contingency logic is a bisimulation. …

… respect to the class of augmented neighbourhood frames (see Section 5 for soundness). We
further wish to investigate the suitable notion of bisimulation on neighborhood models for CL…

… why bisimulation methods succeed … bisimulation principle, leading to ineffective estimation.
We also shed light on the critical role of reward scaling in bounding the scale of bisimulation …