Fetching the paper…

Reading the bibliography…

2019

Graded modal logic and counting bisimulation

Otto, Martin

Original
PDF
Post on X

Understand

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 matching adaptation of bisimulation.

We focus on showing expressive completeness of graded multi-modal logic for those first-order properties of pointed Kripke structures that are preserved under counting bisimulation equivalence among all or among just all finite pointed Kripke structures.

Graded modal logic and counting bisimulation · Around

Built on

Modal Logic and Classical Logic
J. van Benthem · 1983
Earlier work this paper cites.
Modal logic over finite structures
E. Rosen · 1997
Earlier work this paper cites.
Finite Model Theory
H.-D. Ebbinghaus and J. Flum · 1999
Earlier work this paper cites.

Similar

A note on graded modal logic
M. de Rijke · 2000
Cited alongside, same era.
Elementary proof of the van Benthem–Rosen characterisation theorem
M. Otto · 2004
Cited alongside, same era.
Modal and guarded characterisation theorems over finite transition systems
M. Otto · 2004
Cited alongside, same era.

Then

Model theory of modal logic
V. Goranko and M. Otto · 2007
Later among the works it cites.
Modallogische Charakterisierungssätze über speziellen Klassen endlicher Strukturen
R. Lukas · 2007
Later among the works it cites.
Modal characterisation theorems over special classes of frames
A. Dawar and M. Otto · 2009
Later among the works it cites.

Beyond the bibliography

alphaXiv searches the wider corpus for related work and actual follow-ups.

Open on alphaXiv

alphaXiv is searching for related work…