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]

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

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