Model-Checking First-Order Logic: Automata and Locality

DOI10.1007/978-3-540-74915-8_4MaRDI QIDQ3608400zbMATH OpenOpenAlexWikidataFDO

Authors Anuj Dawar

Publication date 5 March 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74915-8_4

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Model theory of finite structures (03C13) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Descriptive complexity and finite models (68Q19)

Recommendations

• scientific article; zbMATH DE number 1688350
• Local model checking in the modal mu-calculus
• Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic
• First-Order Model Checking Problems Parameterized by the Model
• scientific article; zbMATH DE number 5245252
• Automata-Theoretic Model Checking Revisited
• scientific article; zbMATH DE number 1696809
• scientific article; zbMATH DE number 2080055
• Publication:4503921

Cited in

(5)

• Parameterized complexity of some prefix-vocabulary fragments of first-order logic
• Fixed-parameter tractability, definability, and model-checking
• First-Order Model Checking Problems Parameterized by the Model
• A first-order coalition logic for BDI-agents
• Tree-width for first order formulae

This page was built for publication: Model-Checking First-Order Logic: Automata and Locality

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