Strict Implication in A Sequence of Extensions of S4

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):201-212 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19810271304

Links

PhilArchive



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

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

Strict Implication in A Sequence of Extensions of S4.Dolph Ulrich - 1981 - Mathematical Logic Quarterly 27 (13‐14):201-212.
A Class of Extensions of the Modal System S4 with the Finite Model Property.R. A. Bull - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):127-132.
Bull R. A.. A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 53–55.Bull R. A.. A class of extensions of the modal system S4 with the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 127–132.Bull R. A.. That all normal extensions of S4.3 have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 341–344. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
Effective extensions of partial orders.Dev Kumar Roy - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):233-236.
Decidability of Some Extensions ofJ.R. I. Goldblatt - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):203-206.
Extensions Respectueuses de Chaines.Jean Guillaume Hagendorf - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):423-444.
Simplified Axiom Schemes for Implication and Iterated Implication.John Jones - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (1-6):31-33.
A Note on The Jaśkowski Sequence.C. G. McKay - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (6):95-96.
On the Maximality of Some Conormal Extensions of a Lattice.Mai Gehrke & Klaus Kaiser - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):13-18.
A Method for Constructing Implication Logics.Atwell R. Turquette - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):267-278.

Analytics

Added to PP
2015-12-02

Downloads
24 (#645,203)

6 months
3 (#1,207,367)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.

Add more references