Five critical modal systems

&
Theoria 43 (1):52-60 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1977.tb00779.x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,667

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

Kit Fine. The logics containing S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 , pp. 371–376. - Kit Fine. An ascending chain of S4 logics. Theoria, vol. 40 , pp. 110–116. - Kit Fine. Logics containing K4. Part I. The journal of symbolic logic, vol. 39 , pp. 31–42. - L. Esakia and V. Meskhi. Five critical modal systems. Theoria, vol. 43 , pp. 52–60. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (1):231-234.
Unification in Pretabular Extensions of S4.Stepan I. Bashmakov - 2021 - Logica Universalis 15 (3):381-397.
Independent bases for rules admissible in pretabular logics.V. Rybakov, V. Kiyatkin & M. Terziler - 1999 - Logic Journal of the IGPL 7 (2):253-266.
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.
On systems of modal logic with provability interpretations.George Boolos - 1980 - Theoria 46 (1):7-18.
Propositional quantifiers in modal logic.Kit Fine - 1970 - Theoria 36 (3):336-346.
On modal and intuitionistic logics: Guram Bezhanishvili : Leo Esakia on duality in modal and intuitionistic logics. Dordrecht: Springer, 2014, 334pp, €107.09 HB.Costas Dimitracopoulos - 2014 - Metascience 24 (2):337-340.
EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes. [REVIEW]José Miguel Blanco - forthcoming - Logic and Logical Philosophy:75-104.
The universal modality, the center of a Heyting algebra, and the Blok–Esakia theorem.Guram Bezhanishvili - 2010 - Annals of Pure and Applied Logic 161 (3):253-267.

Analytics

Added to PP
2010-09-13

Downloads
53 (#412,499)

6 months
7 (#730,543)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Pretabular varieties of modal algebras.W. J. Blok - 1980 - Studia Logica 39 (2-3):101 - 124.
The structure of lattices of subframe logics.Frank Wolter - 1997 - Annals of Pure and Applied Logic 86 (1):47-100.
Completeness of S4 with respect to the real line: revisited.Guram Bezhanishvili & Mai Gehrke - 2004 - Annals of Pure and Applied Logic 131 (1-3):287-301.

View all 21 citations / Add more citations

References found in this work

No references found.

Add more references