Abstract.
I give a systematic presentation of a fairly large family of multiple-conclusion modal logics that are paraconsistent and/or paracomplete. After providing motivation for studying such systems, I present semantics and tableau-style proof theories for them. The proof theories are shown to be sound and complete with respect to the semantics. I then show how the “standard” systems of classical, single-conclusion modal logics fit into the framework constructed.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
McGinnis, C. Some Multi-Conclusion Modal Paralogics. Log. univers. 1, 335–353 (2007). https://doi.org/10.1007/s11787-007-0017-8
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s11787-007-0017-8