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

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

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
• scientific article; zbMATH DE number 1507201

Cited in

(5)

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

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)