Reasoning about Strategies

DOI10.1007/978-3-642-38164-5_23zbMath1264.03052OpenAlexW2110750971MaRDI QIDQ4922091

J. F. A. K. van Benthem

Publication date: 28 May 2013

Published in: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38164-5_23

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Temporal logic (03B44)

Related Items (3)

Epistemic GDL: a logic for representing and reasoning about imperfect information games ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ Representing and reasoning about game strategies

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modelling simultaneous games in dynamic logic
• Extensive games as process models
• Automata, logics, and infinite games. A guide to current research
• Game Solution, Epistemic Dynamics and Fixed-Point Logics
• Alternating-time temporal logic
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Dynamic logic of preference upgrade

This page was built for publication: Reasoning about Strategies