An embedding of classical logic in S4

Journal of Symbolic Logic 35 (4):529-534 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271439

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,237

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

Embedding Classical Logic in S4.Sophie Nagler - 2019 - Dissertation, Munich Center for Mathematical Philosophy (Mcmp), Lmu Munich
Fitting Melvin Chris. Intuitionistic logic model theory and forcing. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1969, 191 pp. [REVIEW]F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.
Fitting Melvin. Computability theory, semantics, and logic programming. Oxford logic guides, no. 13. Clarendon Press, Oxford University Press, Oxford and New York 1987, xi + 198 pp. [REVIEW]J. C. Shepherdson - 1988 - Journal of Symbolic Logic 53 (4):1257-1257.
Fitting Melvin. First-order logic and automated theorem proving. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, etc., 1990, xv + 242 pp. [REVIEW]Alfredo Ferro - 1993 - Journal of Symbolic Logic 58 (2):719-719.
Fitting Melvin. Fundamentals of generalized recursion theory. Studies in logic and the foundations of mathematics, vol. 105. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xx + 307 pp. [REVIEW]Peter G. Hinman - 1986 - Journal of Symbolic Logic 51 (4):1078-1079.
Melvin Fitting and Richard L. Mendelsohn. First-order modal logic. Synthese library, vol. 277. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, xii + 287 pp. [REVIEW]Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-431.
Raymond M. Smullyan and Melvin Fitting. Set theory and the continuum problem. Oxford logic guides, no. 34. Clarendon Press, Oxford University Press, Oxford, New York, etc., 1996, xiii + 288 pp. [REVIEW]James Cummings - 1999 - Journal of Symbolic Logic 64 (1):401-403.
A new S4 classical modal logic in natural deduction.Maria Paz N. Medeirodas - 2006 - Journal of Symbolic Logic 71 (3):799-809.
A New S4 Classical Modal Logic in Natural Deduction.Maria Da Paz N. Medeiros - 2006 - Journal of Symbolic Logic 71 (3):799 - 809.

Analytics

Added to PP
2009-01-28

Downloads
44 (#529,991)

6 months
5 (#702,808)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

A modal translation for dual-intuitionistic logic.Yaroslav Shramko - 2016 - Review of Symbolic Logic 9 (2):251-265.
An Intriguing Logic with Two Implicational Connectives.Lloyd Humberstone - 2000 - Notre Dame Journal of Formal Logic 41 (1):1-40.
Embeddings of classical logic in S4.J. Czermak - 1975 - Studia Logica 34 (1):87-100.

View all 8 citations / Add more citations

References found in this work

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Set Theory and the Continuum Hypothesis.Kenneth Kunen - 1966 - Journal of Symbolic Logic 35 (4):591-592.

Add more references