Dynamic epistemic logic with branching temporal structures

Abstract

van Bentham et al. (Merging frameworks for interaction: DEL and ETL, 2007) provides a framework for generating the models of Epistemic Temporal Logic (ETL: Fagin et al., Reasoning about knowledge, 1995; Parikh and Ramanujam, Journal of Logic, Language, and Information, 2003) from the models of Dynamic Epistemic Logic (DEL: Baltag et al., in: Gilboa (ed.) Tark 1998, 1998; Gerbrandy, Bisimulations on Planet Kripke , 1999). We consider the logic TDEL on the merged semantic framework, and its extension with the labeled past-operator "P " ("The event has happened before which. . ."). To axiomatize the extension, we introduce a method for transforming a given model into a normal form in a suitable sense. These logics suggest further applications of DEL in the theory of agency, the theory of learning, etc.

Johan van Benthem on Logic and Information Dynamics

“…They discuss the differences between players' a priori information (that they have prior to the actual play) and their empirical information (gained during the play). Finally, they present the work of Sack, Yap, Hoshi and Renne [159,178,179,185,186,188] on Temporal DEL (TDEL). Overall, the amount of material covered in this chapter is truly breathtaking, and amazingly this is done without sacrificing in any way the rigour and clarity of exposition.…”

To know or not to know: epistemic approaches to security protocol verification

“…Equivalence relations generated by matching local information generated by product update or by hand (for initial models) Based on the above observation, we may want to combine the two frameworks, as already attempted in (Hoshi and Yap, 2009;van Benthem et al, 2009;Wang et al, 2010).…”

Dynamic logics of knowledge and access

“…2 (cf. also Hoshi 2009;Hoshi and Yap 2009). In DKA, when ϕ is made publicly available, the agents may or may not obtain the information that ϕ, depending on whether they have access to ϕ.…”