Model theoretic methods for fragments of FO and special classes of (finite) structures

zbMATH Open1248.03052MaRDI QIDQ3172386FDOQ3172386

Martin Otto

Publication date: 5 October 2011

Recommendations

• Expressive completeness through logically tractable models
• scientific article; zbMATH DE number 1841824
• Modal characterisation theorems over special classes of frames
• scientific article; zbMATH DE number 1302669
• Lindstrom theorems for fragments of first-order logic

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: Model theoretic methods for fragments of FO and special classes of (finite) structures

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