76 citations · 138 across the 15 of their papers we have counts for
4 papers · 1 filter
Graded modal logic and counting bisimulation
Martin Otto
This note sketches the extension of the basic characterisation theorems as the bisimulation-invariant fragment of first-order logic to modal logic with graded modalities and matchi…
Cayley structures and common knowledge
Felix Canavoi, Martin Otto
We investigate multi-agent epistemic modal logic with common knowledge modalities for groups of agents and obtain van Benthem style model-theoretic characterisations, in terms of b…
A First-Order Framework for Inquisitive Modal Logic
Silke Meißner, Martin Otto
We present a natural standard translation of inquisitive modal logic InqML into first-order logic over the natural two-sorted relational representations of the intended models, whi…
Inquisitive bisimulation
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 in…