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]

[thumbnail of Full Text]
Text (Full Text)

Download (185kB) | Preview
[thumbnail of Abstract] 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 van 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