A completeness theorem in modal logic

Journal of Symbolic Logic 24 (1):1-14 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964568

Links

PhilArchive



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

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

Proof-theoretic modal PA-Completeness III: The syntactic proof.Paolo Gentilini - 1999 - Studia Logica 63 (3):301-310.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Deductive completeness.Kosta Došen - 1996 - Bulletin of Symbolic Logic 2 (3):243-283.
Generic generalized Rosser fixed points.Dick H. J. Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193 - 203.
On the proof of Solovay's theorem.Dick Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51 - 69.
Elementary definability and completeness in general and positive modal logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
First-order multi-modal deduction.Matthew Stone - unknown
A Sahlqvist theorem for relevant modal logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.

Analytics

Added to PP
2009-01-28

Downloads
941 (#14,322)

6 months
47 (#85,597)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Saul Kripke
Last affiliation: CUNY Graduate Center

Citations of this work

Restrictions on Quantifier Domains.Kai von Fintel - 1994 - Dissertation, University of Massachusetts at Amherst
The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.
Truth in Fiction: Rethinking its Logic.John Woods - 2018 - Cham, Switzerland: Springer Verlag.
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.

View all 245 citations / Add more citations

References found in this work

Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
Three Grades of Modal Involvement.W. V. Quine - 1953 - Proceedings of the XIth International Congress of Philosophy 14:65-81.
Introduction to Semantics.Rudolf Carnap - 1942 - Philosophy of Science 9 (3):281-282.
Logic for Mathematicians.A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.

View all 6 references / Add more references