The undecidability of the disjunction property of propositional logics and other related problems

&
Journal of Symbolic Logic 58 (3):967-1002 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275108

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

Modal logic, Alexander Chagrov and Michael Zakharyaschev. [REVIEW]Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (2):255-258.
Canonical formulas for k4. part II: Cofinal subframe logics.Michael Zakharyaschev - 1996 - Journal of Symbolic Logic 61 (2):421-449.
Canonical formulas for k4. part III: The finite model property.Michael Zakharyaschev - 1997 - Journal of Symbolic Logic 62 (3):950-975.
Canonical Formulas for K4. Part III: The Finite Model Property.Michael Zakharyaschev - 1997 - Journal of Symbolic Logic 62 (3):950-975.
The disjunction property of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
On Independent Axiomatizability of Quasi-Normal Modal Logics.Igor Gorbunov & Dmitry Shkatov - 2022 - Studia Logica 110 (5):1189-1217.
An infinite class of maximal intermediate propositional logics with the disjunction property.Pierangelo Miglioli - 1992 - Archive for Mathematical Logic 31 (6):415-432.
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.
A result on propositional logics having the disjunction property.Robert E. Kirk - 1982 - Notre Dame Journal of Formal Logic 23 (1):71-74.
On the Negative Disjuntion Property.Craig Graham McKay - 2018 - Australasian Journal of Logic 15 (1).

Analytics

Added to PP
2009-01-28

Downloads
103 (#167,002)

6 months
14 (#253,780)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.
Complete additivity and modal incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.

View all 12 citations / Add more citations

References found in this work

An ascending chain of S4 logics.Kit Fine - 1974 - Theoria 40 (2):110-116.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14‐24):250-264.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.

View all 12 references / Add more references