Logic Games: From Tools to Models of Interaction

DOI10.1007/978-94-007-0080-2_11zbMath1319.03046OpenAlexW2141422781MaRDI QIDQ5246115

J. F. A. K. van Benthem

Publication date: 17 April 2015

Published in: Proof, Computation and Agency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0080-2_11

zbMATH Keywords

logic gamesgame languagesmodal action logicsmodal forcing languages

Mathematics Subject Classification ID

2-person games (91A05) Applications of game theory (91A80) General logic (03B99)

Related Items (2)

Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD ⋮ Decisions, Actions, and Games: A Logical Perspective

This page was built for publication: Logic Games: From Tools to Models of Interaction