On Halldén-completness of intermediate and modal logics

&
Bulletin of the Section of Logic 19 (1):21-23 (1990)
  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: 93,779

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

Remarks on Hallden-completeness of modal and intermediate logics.Andrzej Wronski - 1976 - Bulletin of the Section of Logic 5 (4):126-129.
On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames.Zofia Kostrzycka - 2015 - Bulletin of the Section of Logic 44 (3/4):111-130.
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
The disjunction property of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
On reducts of intermediate logics.Stanis law Surma - 1980 - Bulletin of the Section of Logic 9 (4):176-178.
On the non-availability of Dawson-modeling into certain relevance alethic modal logics.John Chidgey - 1979 - Studia Logica 38 (2):89 - 94.
On reducts of intermediate logics.Andrzej Wronski - 1980 - Bulletin of the Section of Logic 9 (4):176-178.
On Some Method Of Axiomatization Of Some Propositional Calculi.Zdzislaw Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.
Intermediate logics without the interpolation property.Stanislaw Zachorowski - 1977 - Bulletin of the Section of Logic 6 (4):161-162.
On Independent Axiomatizability of Quasi-Normal Modal Logics.Igor Gorbunov & Dmitry Shkatov - 2022 - Studia Logica 110 (5):1189-1217.

Analytics

Added to PP
2014-01-23

Downloads
17 (#863,251)

6 months
1 (#1,720,529)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

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.

Add more references