Abstract
A new modal logic containing four dynamic modalities with the following informal reading is introduced: \({\square^\forall}\) – always necessary, \({\square^\exists}\) – sometimes necessary, and their duals – \({\diamondsuit^\forall}\) – always possibly, and \({\diamondsuit^\exists}\) – sometimes possibly. We present a complete axiomatization with respect to the intended formal semantics and prove decidability via fmp.
Similar content being viewed by others
References
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.
Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford, 1997.
Demri, S., and E. Orlowska, Incomplete Information: Structure, Inference, Complexity, Springer 2002.
Rybakov V.V.: ‘Temporal logic with interacting agents’. Journal of Applied Non-Classical Logics 18(2-3), 293–308 (2008)
Vakarelov D.: ‘Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations’. Fundam. Inform. 100(1-4), 159–180 (2010)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Leo Esakia
Rights and permissions
About this article
Cite this article
Vakarelov, D. Dynamic Modalities. Stud Logica 100, 385–397 (2012). https://doi.org/10.1007/s11225-012-9383-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9383-1