Graph games and logic design

DOI10.1007/978-981-15-2221-5_7MaRDI QIDQ6601767zbMATH OpenFDO

Authors Johan van Benthem, Fenrong Liu

Publication date 11 September 2024

Full work available at URL https://doi.org/10.1007/978-981-15-2221-5_7

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80) Specification and verification (program logics, model checking, etc.) (68Q60) Games involving graphs (91A43)

Recommendations

• The many logics of graph games
• Definability in games
• Graph Games and Reactive Synthesis
• Game logic -- an overview
• scientific article; zbMATH DE number 279288

Cites work

• A course in game theory.
• A game of cops and robbers
• Abstract argument games via modal logic
• Automata, logics, and infinite games. A guide to current research
• Basic model theory for memory logics
• Boolean network games and iterated Boolean games
• Expressive Power and Decidability for Memory Logics
• Fixed-point extensions of first-order logic
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 3590298 (Why is no real title available?)
• scientific article; zbMATH DE number 1025912 (Why is no real title available?)
• Independence-friendly logic. A game-theoretic approach
• Kernels in directed graphs: A poison game
• Lindstrom theorems for fragments of first-order logic
• Logic in games
• Logical dynamics of belief change in the community
• Logical dynamics of information and interaction
• Merging frameworks for interaction
• Modal logics of sabotage revisited
• Products of modal logics, part 1
• Reasoning about preference dynamics.
• Relation-changing modal operators
• Two-dimensional modal logic
• Vertex-to-vertex pursuit in a graph
• What will they say? -- Public announcement games

Cited in

(5)

• Solution complexity of local variants of sabotage game
• Graded relation updates in modal logic
• Reasoning under uncertainty in the game of cops and robbers
• A modal approach towards substitutions
• Hybrid logic of the hide and seek game

This page was built for publication: Graph games and logic design

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