The disjunction property of intermediate propositional logics

&
Studia Logica 50 (2):189-216 (1991)
  Copy   BIBTEX

Abstract

This paper is a survey of results concerning the disjunction property, Halldén-completeness, and other related properties of intermediate prepositional logics and normal modal logics containing S4.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370182

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 141,388

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

An infinite class of maximal intermediate propositional logics with the disjunction property.Pierangelo Miglioli - 1992 - Archive for Mathematical Logic 31 (6):415-432.
Amalgamation and interpolation in normal modal logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.
Two classes of intermediate propositional logics without disjunction property.Fabio Bellissima - 1989 - Archive for Mathematical Logic 28 (1):23-33.
Halldén-completeness in super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
Lyndon interpolation property for extensions of $\mathbf {s4}$ and intermediate propositional logics.Taishi Kurahashi - forthcoming - Journal of Symbolic Logic:1-33.
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
Modal companions of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1992 - Studia Logica 51 (1):49-82.
Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property.Guido Bertolotti, Pierangelo Miglioli & Daniela Silvestrini - 1996 - Mathematical Logic Quarterly 42 (1):501-536.
The simple substitution property of gödel's intermediate propositional logics sn's.Katsumi Sasaki - 1990 - Studia Logica 49 (4):471 - 481.
The greatest extension of s4 into which intuitionistic logic is embeddable.Michael Zakharyaschev - 1997 - Studia Logica 59 (3):345-358.

Analytics

Added to PP
2009-01-28

Downloads
135 (#329,004)

6 months
20 (#523,984)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Logic of Logical Necessity.Andrew Bacon & Kit Fine - 2024 - In Yale Weiss & Romina Birman, Saul Kripke on Modal Logic. Cham: Springer Verlag. pp. 43-92.

View all 21 citations / Add more citations

References found in this work

On the interpretation of intuitionistic number theory.Stephen Cole Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
Logics containing k4. part I.Kit Fine - 1974 - Journal of Symbolic Logic 39 (1):31-42.

View all 30 references / Add more references