Kripke incompleteness of predicate extentions of Gabbay-de jongh's logic of the finite binary trees

Bulletin of the Section of Logic 31 (2):111-118 (2002)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,694

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
2014-01-18

Downloads
22 (#518,262)

6 months
1 (#388,319)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

Similar books and articles

Incompleteness Results in Kripke Bundle Semantics.Kazuaki Nagaoka & Eiko Isoda - 1997 - Mathematical Logic Quarterly 43 (4):485-498.
Logic: An Introduction.Greg Restall - 2004 - Oxford, England: Routledge.
About Finite Predicate Logic.Herman Dishkant - 1986 - Studia Logica 45 (4):405 - 414.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
Intermediate Logics and the de Jongh Property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
A Semantical Proof of De Jongh's Theorem.Jaap van Oosten - 1991 - Archive for Mathematical Logic 31 (2):105-114.