76 citations · 138 across the 15 of their papers we have counts for
Showing 2019 · math.LOShow all
3 papers · 2 filters
math.LO2019★ 4 cited
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…
math.LO2019
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…
math.LO2019★ 2 cited
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…