scientific article; zbMATH DE number 5954208

zbMATH Open1248.03052MaRDI QIDQ3172386FDOQ3172386

Martin Otto

Publication date: 5 October 2011

Title of this publication is not available (Why is that?)

zbMATH Keywords

survey paperfinite model theorymodal logicbisimulationpreservation theoremexpressive completenessguarded logicmodel-theoretic gamescharacterisation theorem

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Basic properties of first-order languages and structures (03C07)

Cited In (4)

• A general method of axiomatizing fragments
• Nonstandard methods for finite structures
• Arboreal categories and equi-resource homomorphism preservation theorems
• Relative expressive power of navigational querying on graphs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172386)