Title: Connecting Dynamic Epistemic and Temporal Epistemic Logics Authors: H.P. van Ditmarsch, W. van der Hoek, and J. Ruan. Abstract: We give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. In particular, given an epistemic state (pointed Kripke [...]

Authors: Ji Ruan and Wendy MacCaull Centre of Logic and Information, StFX University, Canada Download: PDF. Abstract: This paper presents an approach to monitor healthcare workflows using a logic-based formal method. We introduce a monitoring architecture with workflows and knowledge bases, and propose a logical language, FO-LTL-K, to express temporal and knowledge properties to be [...]

Authors: H.P. van Ditmarsch, J. Ruan, and W. van der Hoek Abstract: We give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. More in particular, given an epistemic state (pointed multi-agent Kripke model where all [...]