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]
Preview |
Text (Full Text)
PP-2008-34.text.pdf Download (154kB) | Preview |
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 |