- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Refutation systems in modal logic
Studia Logica 53 (2):299 - 324 (1994)
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.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Proving unprovability in some normal modal logics.Valentin Goranko - 1991 - Bulletin of the Section of Logic 20 (1):23-29.
Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D.Tomasz Skura - forthcoming - Studia Logica:1-24.
Syntactic Refutations against Finite Models in Modal Logic.Tomasz Skura - 1994 - Notre Dame Journal of Formal Logic 35 (4):595-605.
Prefixed tableaus and nested sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Hybrid deduction-refutation systems for FDE-based logics.Eoin Moore - 2021 - Australasian Journal of Logic 18 (4):599-615.
Analytic tableau systems and interpolation for the modal logics KB, KDB, k5, KD.Linh Anh Nguyen - 2001 - Studia Logica 69 (1):41-57.
Generalised sequent calculus for propositional modal logics.Andrzej Indrzejczak - 1997 - Logica Trianguli 1:15-31.
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
Analytics
Added to PP
2009-01-28
Downloads
607 (#44,177)
6 months
146 (#31,310)
2009-01-28
Downloads
607 (#44,177)
6 months
146 (#31,310)
Historical graph of downloads
Author's Profile
Citations of this work
Sequent-Calculi for Metainferential Logics.Bruno Da Ré & Federico Pailos - 2021 - Studia Logica 110 (2):319-353.
Which Modal Logic Is the Right One?John P. Burgess - 1999 - Notre Dame Journal of Formal Logic 40 (1):81-93.
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.
Validities, antivalidities and contingencies: A multi-standard approach.Eduardo Barrio & Federico Pailos - 2021 - Journal of Philosophical Logic 51 (1):75-98.
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
References found in this work
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 Łukasiewicz - 1957 - New York: Garland.
Aristotle's Syllogistic from the Standpoint of Modern Formal Logic.JAN LUKASIEWICZ - 1951 - Revue de Métaphysique et de Morale 57 (4):456-458.
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkul.G. Kreisel - 1957 - Archive for Mathematical Logic 3 (3-4):74.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-wmc4m dc2