Kripke's Axiomatization of S2

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272020

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Review: Charles F. Kielkopf, Kripke's Axiomatization of S2. [REVIEW]David Makinson - 1973 - Journal of Symbolic Logic 38 (4):661-661.
Minimal Axiomatization in Modal Logic.Fabio Bellissima & Saverio Cittadini - 1997 - Mathematical Logic Quarterly 43 (1):92-102.
On the predicate logics of finite Kripke frames.D. Skvortsov - 1995 - Studia Logica 54 (1):79-88.
Kripke semantics for knowledge representation logics.Ewa Orłowska - 1990 - Studia Logica 49 (2):255 - 272.
The Modal Logic of Cluster-Decomposable Kripke Interpretations.Michael Tiomkin & Michael Kaminski - 2007 - Notre Dame Journal of Formal Logic 48 (4):511-520.
Is Kripke's puzzle really a puzzle?J. Angelo Corlett - 1989 - Theoria 55 (2):95-113.
Applications of weak Kripke semantics to intermediate consequences.Wolfgang Rautenberg - 1986 - Studia Logica 45 (1):119 - 134.
Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.
Kripke on necessity and identity.Philip Hugly & Charles Sayward - 1998 - Philosophical Papers 27 (3):151-159.
An axiomatization for until and since over the reals without the IRR rule.Mark Reynolds - 1992 - Studia Logica 51 (2):165 - 193.
Kripke bundle semantics and c-set semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.
A new axiomatization of Jaśkowski's discussive logic.Vladimir L. Vasyukov - 2001 - Logic and Logical Philosophy 9:35.
Incompleteness Results in Kripke Bundle Semantics.Kazuaki Nagaoka & Eiko Isoda - 1997 - Mathematical Logic Quarterly 43 (4):485-498.

Analytics

Added to PP
2015-02-05

Downloads
5 (#1,544,164)

6 months
1 (#1,477,342)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references