X-2000-03: van Benthem, Johan (2000) Logic and Games: the third encounter. [Report]
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
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 |
