Games and Model Checking for Guarded Logics

DOI10.1007/3-540-45653-8_5zbMath1275.68087OpenAlexW1558081775MaRDI QIDQ2996154

Dietmar Berwanger, Erich Grädel

Publication date: 6 May 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45653-8_5

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)

Related Items (4)

Solving parity games via priority promotion ⋮ Guarded Negation ⋮ Guarded Negation ⋮ Evaluating Datalog via tree automata and cycluits

This page was built for publication: Games and Model Checking for Guarded Logics