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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Dynamic Topological Logic Interpreted over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
God, Modalities, and Conceptualism.Amy Karofsky - 2003 - Philosophy and Theology 15 (2):257-271.
Towards a more dynamic plant morphology.Rolf Sattler - 1990 - Acta Biotheoretica 38 (3-4):303-315.
A system of dynamic modal logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109-142.
Dynamic relation logic is the logic of DPL-Relations.Albert Visser - 1997 - Journal of Logic, Language and Information 6 (4):441-452.
A System of Dynamic Modal Logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109 - 142.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.

Analytics

Added to PP
2012-02-08

Downloads
50 (#306,059)

6 months
9 (#259,174)

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-3):293-308.
Temporal logic with interacting agents.Vladimir V. Rybakov - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):293-308.

Add more references