One-Step Modal Logics, Intuitionistic and Classical, Part 2

Journal of Philosophical Logic 50 (5):873-910 (2021)
  Copy   BIBTEX


Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1.

Similar books and articles

On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
Gentzen sequent calculi for some intuitionistic modal logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.
Abstract modal logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.
On the Beth properties of some intuitionistic modal logics.C. Luppi - 2002 - Archive for Mathematical Logic 41 (5):443-454.
Combining possibilities and negations.Greg Restall - 1997 - Studia Logica 59 (1):121-141.


Added to PP

239 (#74,382)

6 months
109 (#28,893)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Harold Hodes
Cornell University

Citations of this work

No citations found.

Add more citations

References found in this work

First steps in modal logic.Sally Popkorn - 1994 - New York: Cambridge University Press.
One-step Modal Logics, Intuitionistic and Classical, Part 1.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):837-872.
A Framework for Intuitionistic Modal Logics.Gordon Plotkin & Colin Stirling - 1988 - Journal of Symbolic Logic 53 (2):669-669.

Add more references