Games and Model Checking for Guarded Logics
From MaRDI portal
Publication:2996154
DOI10.1007/3-540-45653-8_5zbMath1275.68087MaRDI QIDQ2996154
Erich Grädel, Dietmar Berwanger
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
03D05: Automata and formal grammars in connection with logical questions
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
Related Items