W. J. Blok. The lattice of modal logics: an algebraic investigation. The journal of symbolic logic, vol. 45 , pp. 221–236. - W. J. Blok. Pretahular varieties of modal algebras. Studio logica, vol. 39 , pp. 101–124

Journal of Symbolic Logic 49 (4):1419-1420 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274297

Links

PhilArchive



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

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

Review: W. J. Blok, The Lattice of Modal Logics: An Algebraic Investigation; W. J. Blok, Pretabular Varieties of Modal Algebras. [REVIEW]Johan van Benthem - 1984 - Journal of Symbolic Logic 49 (4):1419-1420.
The Lattice of Modal Logics: An Algebraic Investigation.W. J. Blok - 1984 - Journal of Symbolic Logic 49 (4):1419-1420.
Cresswell M. J.. The interpretation of some Lewis systems of modal logic. The Australasian journal of philosophy, vol. 45 , pp. 198–206. [REVIEW]Terence Parsons - 1972 - Journal of Symbolic Logic 37 (2):417-418.
van Benthem J. F. A. K.. The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Synthese library, vol. 156. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1983, xvi + 260 pp. [REVIEW]Daniele Mundici - 1987 - Journal of Symbolic Logic 52 (3):874-878.
van Benthem Johan. The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Second edition of LII 874. Synthese library, vol. 156. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1991, xxii + 280 pp. [REVIEW]Steven T. Kuhn - 1992 - Journal of Symbolic Logic 57 (3):1137-1138.
Review: Johan van Benthem, Modal Logic and Classical Logic. [REVIEW]R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
Lennart Åqvist. Results concerning some modal systems that contain S2. The journal of symbolic logic, vol. 29 (1964), pp. 79–87. - E. J. Lemmon. Some results on finite axiomatlzability in modal logic. Notre Dame journal of formal logic, vol. 6 (1965), pp. 301–308. - E. J. Lemmon. A note on Halldén-incompleteness. Notre Dame journal of formal logic, vol. 7 no. 4 (for 1966, pub. 1968), pp. 296–300. [REVIEW]Lennart Aqvist & E. J. Lemmon - 1970 - Journal of Symbolic Logic 34 (4):648-649.
Fischer Mark. A system of deontic-alethic modal logic. Mind, n.s. vol. 71 , pp. 231–236.Hector-Neri Castañeda - 1962 - Journal of Symbolic Logic 27 (2):220-221.
Cresswell M. J.. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 , pp. 186–190.Cresswell M. J.. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 339–345.Cresswell M. J.. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 62–66. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
L. E. J. Brouwer. De non-aequivalentie van de constructieve en de negatieve orderelatie in het continuum . Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 52 , pp. 122–124; also Indagationes mathematicae, vol. 11 , pp. 37–39. [REVIEW]Alfons Borgers - 1949 - Journal of Symbolic Logic 14 (3):195-196.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,222,590)

6 months
1 (#1,516,603)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

Polyadic quantifiers.Johan Benthem - 1989 - Linguistics and Philosophy 12 (4):437 - 464.
Generalized quantifiers and modal logic.Wiebe Hoek & Maarten Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
Determiners and resource situations.Nicholas Asher & Daniel Bonevac - 1987 - Linguistics and Philosophy 10 (4):567 - 596.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references