“Conservative” Kripke closures

Synthese 60 (1):39 - 49 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00485617

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

Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
A1 is not a conservative extension of s4 but of S.Michiro Kondo - 1989 - Journal of Philosophical Logic 18 (3):321 - 323.
Kripke bundle semantics and c-set semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
Justice: A conservative view.John Kekes - 2006 - Social Philosophy and Policy 23 (2):88-108.
Conservation.Harvey Friedman - manuscript
Kripke on necessity and identity.Philip Hugly & Charles Sayward - 1998 - Philosophical Papers 27 (3):151-159.
Kripke.Bryan Frances - 2011 - In Barry Lee (ed.), Key Thinkers in the Philosophy of Language. Continuum. pp. 249-267.
On some Kripke complete and Kripke incomplete intermediate predicate logics.Dmitrij Skvortsov - 1998 - Studia Logica 61 (2):281-292.

Analytics

Added to PP
2009-01-28

Downloads
54 (#289,891)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

An introduction to modal logic: the Lemmon notes.E. J. Lemmon - 1977 - Oxford: Blackwell. Edited by Dana S. Scott.
Truth-value semantics.Hugues Leblanc - 1976 - New York: distributor, Elsevier/North-Holland.
ModelTtheory for Modal Logic. Part I — The de re/de Dicto distinction.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):125 - 156.
On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.

View all 15 references / Add more references