A Modal Logic Analog of Smullyan's Fundamental Theorem

Mathematical Logic Quarterly 19 (1):1-16 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19730190102

Other Versions

reprint Fitting, Melvin (1973) "A Modal Logic Analog of Smullyan's Fundamental Theorem". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19(1):1-16

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: 104,706

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

Melvin fitting, types tableaus and gödel's God.Roderic A. Girle - 2005 - Studia Logica 81 (3):425-427.
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.
On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory.Albert A. Mullin - 1963 - Mathematical Logic Quarterly 9 (12‐15):203-205.
A modal analog for Glivenko's theorem and its applications.V. V. Rybakov - 1992 - Notre Dame Journal of Formal Logic 33 (2):244-248.
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.
On a final multiplicative formulation of the fundamental theorem of arithmetic.Albert A. Mullin - 1964 - Mathematical Logic Quarterly 10 (9‐12):159-161.
Elementary relations between the fundamental theorem of arithmetic, schnirelmann's classical theorem, and goldbach's conjecture.Albert A. Mullin - 1964 - Mathematical Logic Quarterly 10 (13‐17):199-201.

Analytics

Added to PP
2013-11-24

Downloads
20 (#1,133,578)

6 months
1 (#1,609,113)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.

Add more citations

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Passion and Value in Hume's Treatise.D. G. C. Macnabb - 1968 - Philosophical Books 9 (1):2-4.

View all 6 references / Add more references