Embeddings of classical logic in S4 part II

Studia Logica 35 (3):257-271 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02282488

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

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

Embeddings of classical logic in S4.J. Czermak - 1975 - Studia Logica 34 (1):87-100.
Modal companions of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1992 - Studia Logica 51 (1):49 - 82.
The Systems of Modal Calculus of Names. II: Part II. Modal Calculi of Names Based on the Classical Calculus of Propositions.Swietłana Lebiediewa - 1969 - Studia Logica 25:79-96.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Editorial Introduction. Truth Values: Part II. [REVIEW]Yaroslav Shramko & Heinrich Wansing - 2009 - Studia Logica 92 (2):143-146.
The Incompleteness of S4 {bigoplus} S4 for the Product Space.Philip Kremer - 2015 - Studia Logica 103 (1):219-226.
Interpolation and amalgamation; pushing the limits. Part II.Judit X. Madarász - 1999 - Studia Logica 62 (1):1-19.
A formalization of the modal propositional S4 calculus.Anita Wasilewska - 1971 - Studia Logica 27 (1):133-147.
Lewis' systems s4 and s5 and the identity connective.Roman Suszko & Wiesława Żandarowska - 1971 - Studia Logica 29 (1):180-181.

Analytics

Added to PP
2009-01-28

Downloads
26 (#892,543)

6 months
2 (#1,294,541)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An Intriguing Logic with Two Implicational Connectives.Lloyd Humberstone - 2000 - Notre Dame Journal of Formal Logic 41 (1):1-40.

Add more citations

References found in this work

An Introduction to Modal Logic.George Edward Hughes & M. J. Cresswell - 1968 - London, England: Methuen. Edited by M. J. Cresswell.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.
An embedding of classical logic in S4.Melvin Fitting - 1970 - Journal of Symbolic Logic 35 (4):529-534.
Embeddings of classical logic in S4.J. Czermak - 1975 - Studia Logica 34 (1):87-100.

Add more references