On interpolation and Halldén-completeness in next (ktb)

Bulletin of the Section of Logic 41 (1/2):23-32 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Halldén-completeness in super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
Why does Halldén-completeness matter?George F. Schumm - 1993 - Theoria 59 (1-3):192-206.
On the semantic non-completeness of certain Lewis calculi.Sören Halldén - 1951 - Journal of Symbolic Logic 16 (2):127 - 129.
A matrix criterion of Halldén completeness.Zdzis law Dywan - 2012 - Bulletin of the Section of Logic 41 (3/4):145-148.
Halldén-completeness by gluing of Kripke frames.J. F. A. K. van Benthem & I. L. Humberstone - 1983 - Notre Dame Journal of Formal Logic 24 (4):426-430.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Complexity of interpolation and related problems in positive calculi.Larisa Maksimova - 2002 - Journal of Symbolic Logic 67 (1):397-408.
Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.
That SCI has the interpolation property.Grzegorz Malinowski & Marek Michalczyk - 1982 - Studia Logica 41 (4):375 - 380.
Interpolation and amalgamation properties in varieties of equivalential algebras.Małgorzata Porębska - 1986 - Studia Logica 45 (1):35 - 38.
How to combine interpolation with feedback?Guenther Palm - 1998 - Behavioral and Brain Sciences 21 (4):478-478.
Taming logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.

Analytics

Added to PP
2013-10-28

Downloads
49 (#327,514)

6 months
1 (#1,478,830)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Interpolation in Normal Extensions of the Brouwer Logic.Zofia Kostrzycka - 2016 - Bulletin of the Section of Logic 45 (3/4).

Add more citations

References found in this work

Kripke Incomplete Logics Containing KTB.Yutaka Miyazaki - 2007 - Studia Logica 85 (3):303-317.
Normal Modal Logics Contianing KTB with some Finiteness Conditions.Yutaka Miyazaki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 171-190.
Some failures of interpolation in modal logic.George F. Schumm - 1986 - Notre Dame Journal of Formal Logic 27 (1):108-110.
On non‐compact logics in NEXT(KTB).Zofia Kostrzycka - 2008 - Mathematical Logic Quarterly 54 (6):617-624.
On the existence of a continuum of logics in NEXT (KTB⊕ 22p→ 23p).Zofia Kostrzycka - 2007 - Bulletin of the Section of Logic 36 (1/2):37-43.

View all 6 references / Add more references