Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D

Studia Logica:1-24 (forthcoming)
  Copy   BIBTEX

Abstract

Axiomatic proof/refutation systems for the paraconsistent modal logics: KN4 and KN4.D are presented. The completeness proofs boil down to showing that every sequent is either provable or refutable. By constructing finite tree-type countermodels from refutations, the refined characterizations of these logics by classes of finite tree-type frames are established. The axiom systems also provide decision procedures for these logics.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-024-10102-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Socratic Proofs and Paraconsistency: A Case Study.Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska - 2005 - Studia Logica 80 (2):431-466.
The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.Dorota Leszczyńska-Jasion - 2008 - Studia Logica 89 (3):365-399.
Refutations, proofs, and models in the modal logic K.Tomasz Skura - 2002 - Studia Logica 70 (2):193 - 204.
Refutations, Proofs, and Models in the Modal Logic K4.Tomasz Skura - 2002 - Studia Logica 70 (2):193-204.
The Class of Extensions of Nelson's Paraconsistent Logic.Sergei P. Odintsov - 2005 - Studia Logica 80 (2-3):291-320.
Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
On Paracomplete Versions of Jaśkowski's Discussive Logic.Krystyna Mruczek-Nasieniewska, Yaroslav Petrukhin & Vasily Shangin - 2024 - Bulletin of the Section of Logic 53 (1):29-61.
Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras.Aldo Figallo-Orellano, Miguel Peréz-Gaspar & Juan Manuel Ramírez-Contreras - 2022 - Studia Logica 110 (5):1291-1325.
Superintuitionistic companions of classical modal logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
On the Proof-Theory of two Formalisations of Modal First-Order Logic.Yehuda Schwartz & George Tourlakis - 2010 - Studia Logica 96 (3):349-373.
Paraconsistency, self-extensionality, modality.Arnon Avron & Anna Zamansky - 2020 - Logic Journal of the IGPL 28 (5):851-880.
Inductive Plausibility and Certainty.Ricardo Sousa Silvestre - 2021 - In Marcin Trepczyński (ed.), Philosophical Approaches to the Foundations of Logic and Mathematics: In Honor of Stanisław Krajewski. Boston: Brill | Rodopi. pp. 193-210.
A Sahlqvist Theorem for Relevant Modal Logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.

Analytics

Added to PP
2024-04-26

Downloads
3 (#1,717,189)

6 months
3 (#984,658)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Aristotle's Syllogistic from the Standpoint of Modern Formal Logic.JAN LUKASIEWICZ - 1951 - Revue de Métaphysique et de Morale 57 (4):456-458.
Paraconsistent modal logic.Lou Goble - 2006 - Logique Et Analyse 193:3-29.
Hybrid deduction-refutation systems for FDE-based logics.Eoin Moore - 2021 - Australasian Journal of Logic 18 (4):599-615.
Completeness Proofs for RM3 and BN4.R. T. Brady - 1982 - Logique Et Analyse 25:9-32.

View all 8 references / Add more references