A general framework for dynamic epistemic logic: towards canonical correspondences
Sign Up to like & getrecommendations! Published in 2017 at "Journal of Applied Non-Classical Logics"
DOI: 10.1080/11663081.2017.1370663
Abstract: We propose a general framework for dynamic epistemic logics (DELs). It consists of a generic language for DELs and a class of structures, called model transition systems (MTSs), that describe model transformations in a static… read more here.
Keywords: dynamic epistemic; epistemic logic; framework dynamic; general framework ... See more keywords