Dynamic Modalities

Studia Logica 100 (1-2):385-397 (2012)
  Copy   BIBTEX

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Quantificational modal logic with sequential Kripke semantics.Stefano Borgo - 2005 - Journal of Applied Non-Classical Logics 15 (2):137-188.
Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel
Finite and Physical Modalities.Mauro Gattari - 2005 - Notre Dame Journal of Formal Logic 46 (4):425-437.
Aristotelian Relations in PDL: The Hypercube of Dynamic Oppositions.José David García Cruz - 2017 - Special Issue 5th World Congress on the Square of Opposition Easter Island, November 11-15, 2016.

Analytics

Added to PP
2012-02-08

Downloads
66 (#322,369)

6 months
14 (#237,383)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Decidability: theorems and admissible rules.Vladimir Rybakov - 2008 - Journal of Applied Non-Classical Logics 18 (2):293-308.

Add more references