Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Modeling truly dynamic epistemic scenarios in a partial version of DEL

Hansen, Jens Ulrik LU (2014) p.63-75
Abstract
Dynamic Epistemic Logic is claimed to be a dynamic version of epistemic logic. While this being true, there are several dynamical aspects that cannot be reasoned about in Dynamic Epistemic Logic. When a scenario is fixed and a possible world model representing the scenario is constructed, the possible future ways the system can evolve are in some sense already determined. For instance no new agents can enter the scenario and no new propositional facts can become relevant. This modeling perspective is the main motivation for the partial version of Dynamic Epistemic Logic introduced in this paper, which in particular, allows for the set of agents and the set of propositional variables to change.
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
keywords
Dynamic Epistemic Logic, Partial Logic, Epistemic Modeling, Logical Modeling
host publication
The Logica Yearbook 2013
editor
Dancak, Michal and Puncochar, Vit
pages
63 - 75
publisher
College Publications
external identifiers
  • wos:000349722400005
ISBN
9781848901445
language
English
LU publication?
yes
additional info
http://logika.flu.cas.cz/images/publikace/Yearbook/contents/content_logica_yearbook_2013.pdf
id
734766d2-fe72-42b1-98bc-1d44e4b7662f (old id 4456885)
date added to LUP
2016-04-04 12:15:15
date last changed
2018-11-21 21:09:54
@inbook{734766d2-fe72-42b1-98bc-1d44e4b7662f,
  abstract     = {Dynamic Epistemic Logic is claimed to be a dynamic version of epistemic logic. While this being true, there are several dynamical aspects that cannot be reasoned about in Dynamic Epistemic Logic. When a scenario is fixed and a possible world model representing the scenario is constructed, the possible future ways the system can evolve are in some sense already determined. For instance no new agents can enter the scenario and no new propositional facts can become relevant. This modeling perspective is the main motivation for the partial version of Dynamic Epistemic Logic introduced in this paper, which in particular, allows for the set of agents and the set of propositional variables to change.},
  author       = {Hansen, Jens Ulrik},
  booktitle    = {The Logica Yearbook 2013},
  editor       = {Dancak, Michal and Puncochar, Vit},
  isbn         = {9781848901445},
  language     = {eng},
  pages        = {63--75},
  publisher    = {College Publications},
  title        = {Modeling truly dynamic epistemic scenarios in a partial version of DEL},
  year         = {2014},
}