Logic games: from tools to models of interaction

DOI10.1007/978-94-007-0080-2_11MaRDI QIDQ5246115zbMATH OpenOpenAlexFDO

Authors Johan 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

game languageslogic gamesmodal action logicsmodal forcing languages

Mathematics Subject Classification ID

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

Recommendations

• Toward a theory of play: a logical perspective on games and interaction
• Decisions, Actions, and Games: A Logical Perspective
• scientific article; zbMATH DE number 6954646
• Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth
• Game logic -- an overview

Cited in

(12)

• Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD
• Toward a theory of play: a logical perspective on games and interaction
• The Best of All PossibleWorlds: Where Interrogative Games Meet Research Agendas
• New Perspectives on Games and Interaction
• A Logic for Closed-World Interaction
• Decisions, Actions, and Games: A Logical Perspective
• Logical dynamics meets logical pluralism?
• scientific article; zbMATH DE number 2096829 (Why is no real title available?)
• What's in a game?
• Dialogue Games as Foundation of Fuzzy Logics
• Automata, Languages and Programming
• Logic as a tool of science versus logic as a scientific subject

This page was built for publication: Logic games: from tools to models of interaction

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