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]

Preview	Text (Full Text) PP-2008-17.text.pdf Download (177kB) | Preview
	Text (Abstract) PP-2008-17.abstract.txt Download (759B)

Abstract

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