Modal Logic Kalish-and-Montague Style (1994u)

In Metaphysics, Mathematics, and Meaning: Philosophical Papers, Volume I. Oxford, GB: Clarendon Press. pp. 111-118 (2005)
  Copy   BIBTEX

Abstract

The natural-deduction deductive apparatus of Donald Kalish and Richard Montague from their textbook, _Logic: Techniques of Formal Reasoning_ (second edition co-authored with Gary Mar) is extended to the most popular “normal” systems of modal propositional logic (T, B, S4, and S5) — the logic of what might have been — making significantly greater use of the Kalish-and-Montague deductive apparatus than had been utilized in the earlier attempts.

Categories

This entry is not categorized. Edit the containing monograph to categorize the entire monograph.

Keywords

Reprint years

ISBN(s)

9780199284719

DOI

10.1093/0199284717.003.0005

Other Versions

No versions found

View all bargains

Buy this book

Find it on Amazon.com

Links

PhilArchive

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

Modal Logic Kalish-and-Montague Style.Nathan Salmon - 2005 - In Nathan U. Salmon, _Metaphysics, Mathematics, and Meaning: Philosophical Papers I_. New York: Oxford University Press. pp. 111-118.
Montague Richard and Kalish Donald. Remarks on descriptions and natural deduction. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 50–64, 65–73.Jaakko Hintikka - 1958 - Journal of Symbolic Logic 23 (4):449-450.
Donald Kalish and Richard Montague. Logic. Techniques of formal reasoning. Harcourt, Brace & World, Inc., New York and Burlingame 1964, x + 350 pp. [REVIEW]B. H. Mayoh - 1970 - Journal of Symbolic Logic 34 (4):641-642.
A Natural Deduction System for Sentential Modal Logic.Howard J. Sobel - 1979 - Philosophy Research Archives 5:611-622.
Założeniowe systemy normalnych logik modalnych.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne 55 (1):219-227.
Fregean Description Theory in Proof-Theoretical Setting.Andrzej Indrzejczak - 2019 - Logic and Logical Philosophy 28 (1):137-155.
The Logic of What Might Have Been.Nathan Salmon - 1989 - Philosophical Review 98 (1):3-34.
Richard Montague’s Turn Towards Natural Language.Ivano Caponigro - 2026 - Philosophies 11 (2):25.
Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: American Elsevier Pub. Co..
Montague Type Semantics for Modal Logics with Propositional Quantifiers.Dov M. Gabbay - 1971 - Mathematical Logic Quarterly 17 (1):245-249.

Analytics

Added to PP
2026-01-22

Downloads
2 (#2,335,236)

6 months
2 (#1,994,618)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Nathan Salmón
Nathan Salmón
University of California, Santa Barbara

References found in this work

No references found.

Add more references