Advanced

Modeling truly dynamic epistemic scenarios in a partial version of DEL

Hansen, Jens Ulrik LU (2014) In The Logica Yearbook 2013 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
in
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
id
734766d2-fe72-42b1-98bc-1d44e4b7662f (old id 4456885)
date added to LUP
2014-06-27 14:19:23
date last changed
2016-04-16 10:19:41
@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},
  editor       = {Dancak, Michal and Puncochar, Vit},
  isbn         = {9781848901445},
  keyword      = {Dynamic Epistemic Logic,Partial Logic,Epistemic Modeling,Logical Modeling},
  language     = {eng},
  pages        = {63--75},
  publisher    = {College Publications},
  series       = {The Logica Yearbook 2013},
  title        = {Modeling truly dynamic epistemic scenarios in a partial version of DEL},
  year         = {2014},
}