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

Igor Sedlár
Czech Academy of Sciences
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzz017
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,464
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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

View all 26 references / Add more references

Citations of this work BETA

Semantic Conceptions of Information.Luciano Floridi - 2008 - Stanford Encyclopedia of Philosophy.
Neighbourhood Semantics for Modal Relevant Logics.Nicholas Ferenz & Andrew Tedder - forthcoming - Journal of Philosophical Logic:1-37.

Add more citations

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 index

Total views
10 ( #903,667 of 2,520,750 )

Recent downloads (6 months)
1 ( #405,718 of 2,520,750 )

How can I increase my downloads?


My notes