PP-2008-34: Multi-agent Belief Dynamics: Bridges between Dynamic Doxastic and Doxastic Temporal Logics

PP-2008-34: van Benthem, Johan and Dégrémont, Cédric (2008) Multi-agent Belief Dynamics: Bridges between Dynamic Doxastic and Doxastic Temporal Logics. [Report]

[img]
Preview
Text (Full Text)
PP-2008-34.text.pdf

Download (154kB) | Preview
[img] Text (Abstract)
PP-2008-34.abstract.txt

Download (581B)

Abstract

We relate dynamic logics constructing new doxastic models as results of belief revision with doxastic temporal logics which describe changing beliefs over branching time models. Results include a representation theorem as well as modal definability results through frame correspondences. This work has been presented at LOFT 2008 (Amsterdam), and an extended version will be presented at ESSLLI Hamburg 2008.

Item Type: Report
Report Nr: PP-2008-34
Series Name: Prepublication (PP) Series
Year: 2008
Uncontrolled Keywords: Dynamic logic; Doxastic logic; Temporal logic; Belief revision
Subjects: Logic
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/308

Actions (login required)

View Item View Item