
AbstractInquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in the direction of monadic second-order logic, as inquisitive modal operators involve quantification over sets of worlds. We introduce and investigate the natural notion of bisimulation equivalence in the setting of InqML. 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 states, and characterise inquisitive modal logic as the bisimulation invariant fragment of first-order logic over various natural classes of two-sorted structures.
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, van Benthem theorem, Logic with extra quantifiers and operators, Logics of knowledge and belief (including belief change), FOS: Mathematics, 03B45, 03B42, 03C07, 03C80, 03C98, 03B70, Inquisitive modal logic; Bisimulation; Model Theory, Logic in computer science, Model theory of finite structures, Mathematics - Logic, Logic in Computer Science (cs.LO), finite model theory, team semantics, bisimulation, model theory of modal logics, F.4.1, inquisitive modal logic, expressive completeness, Logic (math.LO), Modal logic (including the logic of norms)
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, van Benthem theorem, Logic with extra quantifiers and operators, Logics of knowledge and belief (including belief change), FOS: Mathematics, 03B45, 03B42, 03C07, 03C80, 03C98, 03B70, Inquisitive modal logic; Bisimulation; Model Theory, Logic in computer science, Model theory of finite structures, Mathematics - Logic, Logic in Computer Science (cs.LO), finite model theory, team semantics, bisimulation, model theory of modal logics, F.4.1, inquisitive modal logic, expressive completeness, Logic (math.LO), Modal logic (including the logic of norms)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 10 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
