Logics containing k4. part II

Journal of Symbolic Logic 50 (3):619-651 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274318

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Algebraization of quantifier logics, an introductory overview.István Németi - 1991 - Studia Logica 50 (3-4):485 - 569.
On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
Logics containing k4. part I.Kit Fine - 1974 - Journal of Symbolic Logic 39 (1):31-42.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
On the degree of complexity of sentential logics. A couple of examples.Jacek Hawranek & Jan Zygmunt - 1981 - Studia Logica 40 (2):141 - 153.
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
Fibred semantics and the weaving of logics part 1: Modal and intuitionistic logics.D. M. Gabbay - 1996 - Journal of Symbolic Logic 61 (4):1057-1120.
Sequent-systems and groupoid models. II.Kosta Došen - 1989 - Studia Logica 48 (1):41 - 65.
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
On modal logics characterized by models with relative accessibility relations: Part I.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 65 (3):323-353.

Analytics

Added to PP
2009-01-28

Downloads
72 (#223,965)

6 months
9 (#290,637)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kit Fine
New York University

Citations of this work

Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.

View all 37 citations / Add more citations

References found in this work

An incomplete logic containing S.Kit Fine - 1974 - Theoria 40 (1):23-29.
An ascending chain of S4 logics.Kit Fine - 1974 - Theoria 40 (2):110-116.
The Logics Containing S 4.3.Kit Fine - 1971 - Mathematical Logic Quarterly 17 (1):371-376.
That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.
Decidability and the finite model property.Alasdair Urquhart - 1981 - Journal of Philosophical Logic 10 (3):367 - 370.

Add more references