An embedding of classical logic in S4

Journal of Symbolic Logic 35 (4):529-534 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271439

Links

PhilArchive



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

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

What is the upper part of the lattice of bimodal logics?Frank Wolter - 1994 - Studia Logica 53 (2):235 - 241.
Common knowledge logic and game logic.Mamoru Kaneko - 1999 - Journal of Symbolic Logic 64 (2):685-700.
A simplified embedding of E into monomodal K.Rohan French - 2009 - Logic Journal of the IGPL 17 (4):421-428.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
An implementation of statistical default logic.Gregory Wheeler & Carlos Damasio - 2004 - In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Embedding modal nonmonotonic logics into default logic.Robert Milnikel - 2003 - Studia Logica 75 (3):377 - 382.

Analytics

Added to PP
2009-01-28

Downloads
30 (#529,972)

6 months
14 (#175,970)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

A modal translation for dual-intuitionistic logic.Yaroslav Shramko - 2016 - Review of Symbolic Logic 9 (2):251-265.
An Intriguing Logic with Two Implicational Connectives.Lloyd Humberstone - 2000 - Notre Dame Journal of Formal Logic 41 (1):1-40.
Embeddings of classical logic in S4.J. Czermak - 1975 - Studia Logica 34 (1):87-100.
Unified quantum logic.Mladen Pavičić - 1989 - Foundations of Physics 19 (8):999-1016.

View all 7 citations / Add more citations

References found in this work

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Set Theory and the Continuum Hypothesis.Kenneth Kunen - 1966 - Journal of Symbolic Logic 35 (4):591-592.

Add more references