Canonical formulas for k4. part I: Basic results

Journal of Symbolic Logic 57 (4):1377-1402 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
198 (#92,845)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The structure of lattices of subframe logics.Frank Wolter - 1997 - Annals of Pure and Applied Logic 86 (1):47-100.
On Rules.Rosalie Iemhoff - 2015 - Journal of Philosophical Logic 44 (6):697-711.
Speaking about transitive frames in propositional languages.Yasuhito Suzuki, Frank Wolter & Michael Zakharyaschev - 1998 - Journal of Logic, Language and Information 7 (3):317-339.

View all 27 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.
Four dialogue systems.Jim Mackenzie - 1990 - Studia Logica 49 (4):567 - 583.

View all 7 references / Add more references