Reasoning about Strategies
From MaRDI portal
Publication:4922091
DOI10.1007/978-3-642-38164-5_23zbMath1264.03052MaRDI QIDQ4922091
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
Related Items
Temporal Aspects of the Dynamics of Knowledge, Epistemic GDL: a logic for representing and reasoning about imperfect information games, 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