PP-2004-02: A Mini-Guide to Logic In Action

PP-2004-02: van Benthem, Johan (2004) A Mini-Guide to Logic In Action. [Report]

Text (Full Text)

Download (185kB) | Preview
[img] Text (Abstract)

Download (496B)


The Dynamic Turn in logic makes actions of communication and general information update into explicit objects of investigation. This paper is a brief tour of this research program in a new version, bringing together ideas from logic, philosophy, computer science, and game theory. In particular, we discuss epistemic, dynamic, and temporal logics, belief revision, and game logics.

Item Type: Report
Report Nr: PP-2004-02
Series Name: Prepublication (PP) Series
Year: 2004
Uncontrolled Keywords: dynamic turn in logic, information update
Subjects: Logic
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/113

Actions (login required)

View Item View Item