PP-2008-17: Building bridges between dynamic and temporal doxastic logics

PP-2008-17: van Benthem, Johan and Dègremont, Cedric (2008) Building bridges between dynamic and temporal doxastic logics. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (177kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (759B)


In this paper, we compare two modal frameworks for multi-agent
belief revision: dynamic doxastic logics computing stepwise updates
and temporal doxastic logics describing global system evolutions,
both based on plausibility pre-orders. We prove representation
theorems showing under which conditions a doxastic temporal
model can be represented as the stepwise evolution of a doxastic
model under successive 'priority updates'. We define these properties
in a suitable doxastic-temporal language, discuss their meaning,
and raise some related definability issues.

Item Type: Report
Report Nr: PP-2008-17
Series Name: Prepublication (PP) Series
Year: 2008
Uncontrolled Keywords: Dynamic logic; Temporal logic; Doxastic Logic; Update; Belief revision
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/291

Actions (login required)

View Item View Item