Bulletin of the Section of Logic 20 (1):23-29 (1991)

Valentin Goranko
Stockholm University
This note considers deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula  either `  or a  (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considerations.
Keywords modal logic  unprovability  non-validities  syntactic decision procedure
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
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

An Essay in Classical Modal Logic.Krister Segerberg - 1971 - Uppsala, Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.
Modal Logic and Classical Logic.R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
Aristotle's Syllogistic from the Standpoint of Modern Formal Logic.JAN LUKASIEWICZ - 1952 - Revue de Métaphysique et de Morale 57 (4):456-458.

Add more references

Citations of this work BETA

A Łukasiewicz-Style Refutation System for the Modal Logic S.Tomasz Skura - 1995 - Journal of Philosophical Logic 24 (6):573 - 582.
Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Basel, Switzerland: pp. 575-597.

Add more citations

Similar books and articles

Normal Monomodal Logics Can Simulate All Others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Modal Sequents for Normal Modal Logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
Independent Propositional Modal Logics.S. K. Thomason - 1980 - Studia Logica 39 (2-3):143 - 144.


Added to PP index

Total views
51 ( #202,093 of 2,432,669 )

Recent downloads (6 months)
1 ( #464,745 of 2,432,669 )

How can I increase my downloads?


My notes