A general framework for dynamic epistemic logic: towards canonical correspondences. Issue 1 (3rd April 2017)

• Record Type: Journal Article
• Authors: Motoura, Shota
• Is Part Of: Journal of applied non-classical logics. Volume 27:Issue 1/2(2017)
• Page Start: 50
• Page End: 89
• Publication Date: 2017-04-03
• Subjects: Dynamic epistemic logic -- public announcement logic -- general framework -- global operator -- modal correspondence; Nonclassical mathematical logic -- Periodicals; Wiskundige logica; Logic; Periodicals; 511.3105
• DOI: 10.1080/11663081.2017.1370663
• Languages: English
• ISSNs: 1166-3081

Abstract

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 way. An MTS can be viewed as a two-layered Kripke model and consequently inherits standard concepts such as bisimulation and bounded morphism from the ordinary Kripke models. In the second half of this article we add the global operator to the language, which enables us to define the notions of a canonical MTS and canonicity of a DEL formula for a property of MTSs. Using these notions, we clarify correspondences between axioms of DELs and properties of MTSs.