Kripke-Semantik der derivativen Prädikatelogik

Archive for Mathematical Logic 13 (3-4):134-135 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01973618

Links

PhilArchive



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

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

Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.Horst Luckhardt - 1970 - Archive for Mathematical Logic 13 (1-2):55-59.
Modelltheoretische Untersuchungen in der Kripke-Semantik.Horst Osswald - 1970 - Archive for Mathematical Logic 13 (1-2):3-21.
Semantische Begründung der Derivativen Implikationslogik.E. W. Beth - 1964 - Archive for Mathematical Logic 7 (1-2):23-28.
Is Kripke's puzzle really a puzzle?J. Angelo Corlett - 1989 - Theoria 55 (2):95-113.
On Misinterpreting Kripke’s Wittgenstein.Alex Byrne - 1996 - Philosophy and Phenomenological Research 56 (2):339-343.
Bos̩ adlar ve dil felsefesinin ontolojik yükü.Yavuz Recep Bas̩oğlu & Mehmet Taylan Cüyaz - 2017 - Ethos: Dialogues in Philosophy and Social Sciences 10 (1).
Kripke bundle semantics and c-set semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
Incompleteness Results in Kripke Bundle Semantics.Kazuaki Nagaoka & Eiko Isoda - 1997 - Mathematical Logic Quarterly 43 (4):485-498.
On the Predicate Logic of Linear Kripke Frames and some of its Extensions.Dmitrij Skvortsov - 2005 - Studia Logica 81 (2):261-282.
Kripke on necessity and identity.Philip Hugly & Charles Sayward - 1998 - Philosophical Papers 27 (3):151-159.
Back and Forth Between First-Order Kripke Models.Tomasz Połacik - 2008 - Logic Journal of the IGPL 16 (4):335-355.
Kripke, Pseudo-Kripke, and Wallace.Thomas Baldwin - 1978 - Analysis 38 (4):173 - 181.
Kripke.Bryan Frances - 2011 - In Barry Lee (ed.), Key Thinkers in the Philosophy of Language. Continuum. pp. 249-267.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Kripke: modalità e verità.Achille C. Varzi - 2010 - In Andrea Borghini (ed.), (ed.), Il genio compreso. La filosofia di Saul Kripke. Carocci Editore. pp. 21–76, 186–191.

Analytics

Added to PP
2020-12-03

Downloads
2 (#1,808,860)

6 months
2 (#1,206,222)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references