From positive PDL to its non-classical extensions

Logic Journal of the IGPL 27 (4):522-542 (2019)
  Copy   BIBTEX


We provide a complete binary implicational axiomatization of the positive fragment of propositional dynamic logic. The intended application of this result are completeness proofs for non-classical extensions of positive PDL. Two examples are discussed in this article, namely, a paraconsistent extension with modal De Morgan negation and a substructural extension with the residuated operators of the non-associative Lambek calculus. Informal interpretations of these two extensions are outlined.



    Upload a copy of this work     Papers currently archived: 86,441

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

A New Semantics for Positive Modal Logic.S. Celani & R. Jansana - 1997 - Notre Dame Journal of Formal Logic 38 (1):1-18.
A simple solution to Friedman's fourth problem.Xavier Caicedo - 1986 - Journal of Symbolic Logic 51 (3):778-784.
Second-order logic on equivalence relations.Georgi Georgiev & Tinko Tinchev - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):229-246.
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.


Added to PP

12 (#892,789)

6 months
2 (#523,542)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Igor Sedlár
Czech Academy of Sciences

Citations of this work

Semantic conceptions of information.Luciano Floridi - 2008 - Stanford Encyclopedia of Philosophy.
Neighbourhood Semantics for Modal Relevant Logics.Nicholas Ferenz & Andrew Tedder - 2023 - Journal of Philosophical Logic 52 (1):145-181.

Add more citations

References found in this work

Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.

View all 26 references / Add more references