Modeling truly dynamic epistemic scenarios in PDEL

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review


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.
TitelThe Logica Yearbook 2013
RedaktørerMichal Dancak, Vit Puncochar
ForlagCollege Publications
ISBN (Trykt)9781848901445
StatusUdgivet - 2014
Udgivet eksterntJa

Citer dette