@inproceedings{c979e2ba654d4d1583cb4756dae5f6fc,
title = "Deriving inverse operators for modal logic",
abstract = "Spatial constraint systems are algebraic structures from concurrent constraint programming to specify spatial and epistemic behavior in multi-agent systems. We shall use spatial constraint systems to give an abstract characterization of the notion of normality in modal logic and to derive right inverse/reverse operators for modal languages. In particular,we shall identify the weakest condition for the existence of right inverses and show that the abstractnotion of normality corresponds to the preservation of finite suprema. We shall apply our results to existing modal languages such as the weakest normal modal logic,Hennessy-Milner logic,and linear-time temporal logic. We shall discuss our results in the context of modal concepts such as bisimilarity and inconsistency invariance.",
keywords = "Bisimulation, Constraint systems, Inverse operators, Modal algebra, Modal logic",
author = "Michell Guzm{\'a}n and Salim Perchy and Camilo Rueda and Valencia, {Frank D.}",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016 ; Conference date: 24-10-2016 Through 31-10-2016",
year = "2016",
doi = "10.1007/978-3-319-46750-4_13",
language = "English",
isbn = "9783319467498",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "214--232",
editor = "Farn Wang and Augusto Sampaio",
booktitle = "Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings",
address = "Germany",
}