@inproceedings{29856fc65a164209ba438c42d1f9c7eb,
title = "Decidable extensions of Hennessy-Milner Logic",
abstract = "We propose a new class of logics for specifying and model-checking properties of distributed systems – Dynamic Epistemic Spatial Logics. They have been designed as extensions of Hennessy-Milner logic with spatial operators (inspired by Cardelli-Gordon-Caires spatial logic) and epistemic operators (inspired by dynamic-epistemic logics). Our logics focus on observers, agents placed in different locations of the system having access to some subsystems. Treating them as epistemic agents, we develop completely axiomatized and decidable logics that express the information flow between them in a dynamic and distributed environment. The knowledge of an epistemic agent, is understood as the information, locally available to our observer, about the overall-global system.",
keywords = "Hennessy-Milner logic, modelling, distributed systems, Cardelli-Gordon-Caires spatial logic, epistemic operators, epistemic agent",
author = "Radu Mardare and Corrado Priami",
note = "{\textcopyright} 2006 IFIP International Federation for Information Processing Mardare, R., Priami, C. (2006). Decidable Extensions of Hennessy-Milner Logic. In: Najm, E., Pradat-Peyre, JF., Donzeau-Gouge, V.V. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2006. FORTE 2006. Lecture Notes in Computer Science, vol 4229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11888116\_16",
year = "2006",
doi = "10.1007/11888116\_16",
language = "English",
isbn = "978-3-540-46219-4",
volume = "4229",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "196--211",
editor = "E. Najm and \{ Pradat-Peyre\}, \{J. F.\} and Donzeau-Gouge, \{V. V.\}",
booktitle = "Formal Techniques for Networked and Distributed Systems - FORTE 2006",
}