Abstract
We give a set of postulates for the minimal normal modal logicK + without negation or any kind of implication. The connectives are simply ∧, ∨, □, ◊. The postulates (and theorems) are all deducibility statements ϕ ⊢ ψ. The only postulates that might not be obvious are
.
It is shown thatK + is complete with respect to the usual Kripke-style semantics. The proof is by way of a Henkin-style construction, with “possible worlds” being taken to be prime theories. The construction has the somewhat unusual feature of using at an intermediate stage disjoint pairs consisting of a theory and a “counter-theory”, the counter-theory replacing the role of negation in the standard construction. Extension to other modal logics is discussed, as well as a representation theorem for the corresponding modal algebras. We also discuss proof-theoretic arguments.
Similar content being viewed by others
References
A. R. Anderson, N. D. Belnap, Jr., and J. M. Dunn (1992),Entailment: The Logic of Relevance and Necessity, vol. II, Princeton (Princeton University Press).
G. Allwein andJ. M. Dunn (1993), Kripke Models for Linear Logic,The Journal for Symbolic Logic,58, 514–545.
A. Avron (1984), On Modal Systems having Arithmetical Interpretations,The Journal of Symbolic Logic,49, 935–942.
B. F. Chellas (1980),Modal Logic: An Introduction, Cambridge (Cambridge University Press).
J. M. Dunn (1976), Quantification and RM,Studia Logica 38, 315–322.
J. M. Dunn (1986), Relevance Logic and Entailment,Handbook of Philosophical Logic, vol. III: Alternatives to Classical Logic, eds. D. Gabbay and F. Guenther, Dordrecht (D. Reidel Publishing Co.), 117–229.
H. B. Curry (1963),Foundations of Mathematical Logic, New York (McGraw-Hill Inc.).
M. Fitting (1983),Proof Methods for Modal and Intuitionistic Logics, Dordrecht (D. Reidel Publishing Co.).
D. M. Gabbay (1974), On 2nd Order Intuitionistic Propositional Calculus with Full Comprehension,Archiv für mathematische Logik und Grundlagenforschung 16, 177–186.
P. R. Halmos (1962),Algebraic Logic, New York (Chelsea Publishing Co.).
E. J. Lemmon (1966), Algebraic Semantics for Modal Logics I, II,The Journal for symbolic Logic 32, 46–65, 191–218.
E. J. Lemmon andD. S. Scott (1977),The ‘Lemmon Notes’: An Introduction to Modal Logic, ed. K. Segerberg, Oxford (Blackwell).
M. Ryan andM. Sadler (1992), Valuation Systems and Consequence Relations, inHandbook of Logic in Computer Science, vol. 1 Background: Mathematics Structures, eds. S. Abramsky, Dov M. Gabbay, and T. S. E. Maibaum, Oxford (Clarendon Press), 1–78.
A. I. F. Urquhart (1978), A Topological Representation Theorem for Lattices,Algebra Universalis 8, 45–58.
Author information
Authors and Affiliations
Additional information
I wish to thank David McCarty for a most helpful conversation, in which he suggested the key idea that I try a construction in which certain sentences are “kept out”. I also want to acknowledge the helpful remarks of three anonymous referees and wish to thank Steve Crowley for a careful reading.
Rights and permissions
About this article
Cite this article
Dunn, J.M. Positive modal logic. Stud Logica 55, 301–317 (1995). https://doi.org/10.1007/BF01061239
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01061239