A Modal Logic Analog of Smullyan's Fundamental Theorem

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

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

A Modal Logic Analog of Smullyan's Fundamental Theorem.Melvin Fitting - 1973 - Mathematical Logic Quarterly 19 (1):1-16.
Modal logic should say more than it does.Melvin Fitting - unknown
A Sahlqvist theorem for relevant modal logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
Review: Raymond M. Smullyan, A Generalization of Intuitionistic and Modal Logics. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):316-317.
The modal logic of the countable random frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.
Der Hauptsatz der Smullyanmengen.Alexander Zimmermann - 2010 - Kriterion - Journal of Philosophy 23 (1):24-43.
A modal analog for Glivenko's theorem and its applications.V. V. Rybakov - 1992 - Notre Dame Journal of Formal Logic 33 (2):244-248.
A new modal lindström theorem.Johan van Benthem - 2007 - Logica Universalis 1 (1):125-138.
Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
The contribution of A.V. Kuznetsov to the theory of modal systems and structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
The greatest extension of s4 into which intuitionistic logic is embeddable.Michael Zakharyaschev - 1997 - Studia Logica 59 (3):345-358.
Herbrand's Theorem for a Modal Logic.Melvin Fitting - unknown
A General Lindström Theorem for Some Normal Modal Logics.Sebastian Enqvist - 2013 - Logica Universalis 7 (2):233-264.
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.
Implementing a relational theorem prover for modal logic K.Angel Mora, Emilio Munoz Velasco & Joanna Golińska-Pilarek - 2011 - International Journal of Computer Mathematics 88 (9):1869-1884.

Analytics

Added to PP
2016-02-04

Downloads
31 (#513,686)

6 months
2 (#1,188,460)

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.

Add more references