PP-2003-02: Structural Properties of Dynamic Reasoning

PP-2003-02: van Benthem, Johan (2003) Structural Properties of Dynamic Reasoning. [Report]

[img]
Preview
Text (Full Text)
PP-2003-02.text.pdf

Download (118kB) | Preview
[img] Text (Abstract)
PP-2003-02.abstract.txt

Download (330B)

Abstract

We characterize the structural properties of dynamic inference in general update models, and show that these are exactly the ones of public update in epistemic logic.

Item Type: Report
Report Nr: PP-2003-02
Series Name: Prepublication (PP) Series
Year: 2003
Uncontrolled Keywords: update, dynamic logic, epistemic logic, public announcement, representation
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/86

Actions (login required)

View Item View Item