First-Order and Monadic Second-Order Model-Checking on Ordered Structures

DOI10.1109/LICS.2012.38zbMath1362.68167OpenAlexW2083568668MaRDI QIDQ2986804

Viktor Engelmann, Sebastian Siebertz, Stephan Kreutzer

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2012.38

zbMATH Keywords

model theoryalgorithmic meta-theoremsfinite model theoryorder-invariant first-order logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Model theory of finite structures (03C13) Basic properties of first-order languages and structures (03C07) Descriptive complexity and finite models (68Q19)

Related Items

Computations by fly-automata beyond monadic second-order logic