X-2000-03: Logic and Games: the third encounter

X-2000-03: van Benthem, Johan (2000) Logic and Games: the third encounter. [Report]

[img] Text (Abstract)
X-2000-03.abstract.txt

Download (1kB)

Abstract

Logic involves games of argumentation and evaluation. But games in general also show logical structures of action and information flow. This collection of papers - material for a planned monograph on the subject - addresses the resulting connections between logic and game theory. Topics include: notions of game equivalence, dynamic and epistemic description languages, calculi of game operations and strategies, imperfect information games, and preferences. Index: chapter 1: Prospectus chapter 2: When are Two Games the Same chapter 3: Games and Strategies in Elementary Logic chapter 4: Evaluation Games and Game Algebra chapter 5: Logical Analysis of Game Structure chapter 6: Hintikka Self-Applied chapter 7: Dynamic Epistemic Logic of Imperfect Information chapter 8: Action and Procedure in Juridical Reasoning These files have been superseded by Johan van Benthem's ILLC reports of January 2003, as well as some drafts under 'current publications' on his homepage http:/staff.science.uva.nl/~johan/ Keyword(s): game, strategy, dynamic logic, epistemic logic, invariance

Item Type: Report
Report Nr: X-2000-03
Series Name: Technical Notes (X) Series
Year: 2000
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/643

Actions (login required)

View Item View Item