Logic and games on automatic structures. Playing with quantifiers and decompositions

DOI10.1007/978-3-642-22807-0zbMath1225.03047OpenAlexW3151230595MaRDI QIDQ555655

Łukasz Kaiser

Publication date: 25 July 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22807-0

zbMATH Keywords

monadic second-order logicgamesautomatic structuresautomata over infinite words

Mathematics Subject Classification ID

Applications of game theory (91A80) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Logic with extra quantifiers and operators (03C80)

Related Items (2)

Synthesizing optimally resilient controllers ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics

This page was built for publication: Logic and games on automatic structures. Playing with quantifiers and decompositions