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]

Text (Full Text)

Download (177kB) | Preview
[img] 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