Model-Checking First-Order Logic: Automata and Locality

DOI10.1007/978-3-540-74915-8_4zbMath1179.68081OpenAlexW1496683511WikidataQ58215622 ScholiaQ58215622MaRDI QIDQ3608400

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) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Related Items (1)

A first-order coalition logic for BDI-agents

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