Model existence theorems for modal and intuitionistic logics

Journal of Symbolic Logic 38 (4):613-627 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
6 (#1,264,092)

6 months
1 (#1,027,696)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

Modal tableau calculi and interpolation.Wolfgang Rautenberg - 1983 - Journal of Philosophical Logic 12 (4):403 - 423.
Embeddings of classical logic in S4.J. Czermak - 1975 - Studia Logica 34 (1):87-100.
Existentially Closed Closure Algebras.Philip Scowcroft - 2020 - Notre Dame Journal of Formal Logic 61 (4):623-661.

View all 9 citations / Add more citations

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
The Foundations of Mathematics.Charles Parsons & Evert W. Beth - 1961 - Philosophical Review 70 (4):553.
Intuitionistic Logic Model Theory and Forcing.F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.
Tableau methods of proof for modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (2):237-247.
Modal Logics.Robert Feys - 1965 - Studia Logica 22:170-173.

Add more references