Bisimulation in Inquisitive Modal Logic

Ivano Ciardelli, Martin Otto

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