Model-Checking First-Order Logic: Automata and Locality

DOI10.1007/978-3-540-74915-8_4zbMATH Open1179.68081OpenAlexW1496683511WikidataQ58215622 ScholiaQ58215622MaRDI QIDQ3608400FDOQ3608400

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

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

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)

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)