PP-2011-31: Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics

PP-2011-31: van Benthem, Johan and Dégrémont, Cédric (2011) Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
PP-2011-31.text.pdf

Download (260kB) | Preview
[thumbnail of Abstract] Text (Abstract)
PP-2011-31.abstract.txt

Download (431B)

Abstract

Multi-agent belief dynamics:
bridges between dynamic doxastic and doxastic temporal logics
Johan van Benthem, Cédric Dégrémont

Abstract:
We analyze the temporal behavior of agents updating their beliefs
according to the dynamic-epistemic priority rule, and prove a
representation theorem for the temporal models arising in this way.

Item Type: Report
Report Nr: PP-2011-31
Series Name: Prepublication (PP) Series
Year: 2011
Uncontrolled Keywords: belief revision, priority update, dynamic epistemic logic, doxastic temporal logic
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/435

Actions (login required)

View Item View Item