Studia Logica 53 (2):299 - 324 (1994)

Authors
Valentin Goranko
Stockholm University
Abstract
Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.
Keywords modal logic  deductive systems  refutation systems  modal sequents  completeness
Categories (categorize this paper)
DOI 10.1007/BF01054714
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
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.
Aristotle's Syllogistic from the Standpoint of Modern Formal Logic.JAN LUKASIEWICZ - 1952 - Revue de Métaphysique et de Morale 57 (4):456-458.
A Companion to Modal Logic.G. E. Hughes & M. J. Cresswell - 1995 - Studia Logica 54 (3):411-413.

View all 12 references / Add more references

Citations of this work BETA

Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
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.
A Refutation Theory.Tomasz Skura - 2009 - Logica Universalis 3 (2):293-302.

View all 12 citations / Add more citations

Similar books and articles

Prefixed Tableaus and Nested Sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Abstract Modal Logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.
Modal Logic as Metalogic.Kosta Došen - 1992 - Journal of Logic, Language and Information 1 (3):173-201.
Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
Four Simple Systems of Modal Propositional Logic.Gerald J. Massey - 1965 - Philosophy of Science 32 (3/4):342-355.

Analytics

Added to PP index
2009-01-28

Total views
71 ( #129,034 of 2,325,155 )

Recent downloads (6 months)
9 ( #74,885 of 2,325,155 )

How can I increase my downloads?

Downloads

My notes