Games and model checking for guarded logics

DOI10.1007/3-540-45653-8_5MaRDI QIDQ2996154zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Fixed-point logics and solitaire games
• scientific article; zbMATH DE number 1341606
• Model-Checking Games for Fixpoint Logics with Partial Order Models
• Back and forth between logic and games
• Guarded fixed point logics and the monadic theory of countable trees.

Cited in

(17)

• Game logic is strong enough for parity games
• Parity games and automata for game logic
• Solving parity games via priority promotion
• Fixed-point logics and solitaire games
• Guarded fixed point logics and the monadic theory of countable trees.
• Pushdown processes: Games and model-checking
• Model checking games for the quantitative \(\mu \)-calculus
• Provenance analysis for logic and games
• Evaluating Datalog via tree automata and cycluits
• Model-checking games for typed -calculi
• Back and forth between logic and games
• Model-Checking Games for Fixpoint Logics with Partial Order Models
• Model checking games for the quantitative \(\mu\)-calculus
• Model-checking games for fixpoint logics with partial order models
• Guarded negation
• Guarded negation
• Differential games, locality, and model checking for FO logic of graphs

This page was built for publication: Games and model checking for guarded logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2996154)