Alternatively, a bisimulation between two inquisitive modal models M = (W,Σ,V ) and M0 = (W0,Σ0,V 0) can be defined as a non-empty relation Z ⊆ W ×W0 ∪P(W)×P(W0) (cf. [2] for details). In this paper, we chose to use the notion of bisimulation as a relation defined exclusively on the worlds of the observed models.
Jul 27, 2017 · We compare the expressiveness of InqML and first-order logic, and characterise inquisitive modal logic as the bisimulation invariant fragments ...
In this paper we address this question for the fundamental notion of bisimulation and for two classical results revolving around this notion, namely, the ...
We compare the expressiveness of INQML and first-order logic in the context of relational structures with two sorts, for worlds and information states, and ...
(PDF) Bisimulation in Inquisitive Modal Logic - ResearchGate
www.researchgate.net › ... › Modal Logic
Oct 22, 2024 · We compare the expressiveness of InqML and first-order logic, and characterise inquisitive modal logic as the bisimulation invariant fragments ...
We compare the expressiveness of InqML and first-order logic in the context of relational structures with two sorts, one for worlds and one for information ...
Jul 25, 2017 · This work compares the expressiveness of InqML and first-order logic, and characterise inquisitive modal logic as the bisimulation invariant ...
Mar 8, 2018 · Inquisitive modal logic can be characterised as the ∼-invariant fragment of first-order logic FO over natural classes of (finite or arbitrary) ...
This work compares the expressiveness of InqML and first-order logic in the context of relational structures with two sorts, one for worlds and one for ...
We compare the expressiveness of InqML and first-order logic in the context of relational structures with two sorts, one for worlds and one for information ...