Year: 2019
Type: reference-entry
Abstract: In light of logic's historical roots in dialogue and argumentation, games and logic are a natural fit.Argumentation is a game-like activity that involves taking turns, saying the right things at the right time, and, in competitive settings, has clear pay-offs in terms of winning and losing.Pursuing this connection, specialized logic games have already been used in the middle ages as a tool for logic training (Hamblin, 1970).The modern area augmented this picture with formal dialogue games as foundation for logic, relating winning strategies in argumentation to cogent proofs (Kamlah and Lorenzen, 1984).Today, connections between logic and game theory span across a great number of different strands, involving the interface with game theory, but also linguistics, computer science, and further fields.Themes from the extensive and growing area surrounding logic and games occur in various entries of this Encyclopedia, in particular on uses of games in logic, epis- temic foundations of game theory, formal approaches to social procedures, logics for analyzing powers of agents, and game semantics for programming and process lan- guages.These entries differ in their emphasis, which may be on logic, game theory, or foundations of computer science.The present entry is concerned with logics for analyzing games, broadly speaking.It makes reference to other perspectives in this Encyclopedia where relevant.
Authors: Johan van Benthem, Dominik Klein
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2920315877