Studia Logica

, Volume 100, Issue 1, pp 385–397

Dynamic Modalities

Article

DOI: 10.1007/s11225-012-9383-1

Cite this article as:
Vakarelov, D. Stud Logica (2012) 100: 385. doi:10.1007/s11225-012-9383-1
  • 142 Downloads

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.

Keywords

modal logic dynamic modalities completeness theorem canonical construction filtration 

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Faculty of Mathematics and InformaticsSofiaBulgaria

Personalised recommendations