A simplified embedding of E into monomodal K

Logic Journal of the IGPL 17 (4):421-428 (2009)
  Copy   BIBTEX

Abstract

In this paper we will provide a modal-to-modal translational embedding of E into K, simplifying a similar result which is obtainable using a novel translation due to S.K. Thomason.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzp024

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,689

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

Minimally Congruential Contexts: Observations and Questions on Embedding E in K.Lloyd Humberstone - 2012 - Notre Dame Journal of Formal Logic 53 (4):581-598.
Embeddings of propositional monomodal logics.E. Zolin - 2000 - Logic Journal of the IGPL 8 (6):861-882.
Constructive theories through a modal lens.Matteo Tesi - forthcoming - Logic Journal of the IGPL.
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
A Polynomial Translation Of S4 Into T And Contraction–free Tableaux For S4.Serenella Cerrito & Marta Cialdea Mayer - 1997 - Logic Journal of the IGPL 5 (2):287-300.
The Embedding Theorem: Its Further Developments and Consequences. Part 1.Alexei Y. Muravitsky - 2006 - Notre Dame Journal of Formal Logic 47 (4):525-540.
Subintuitionistic logics and their modal companions: a nested approach.Matteo Tesi - forthcoming - Journal of Applied Non-Classical Logics:1-34.
Translation Methods for Non-Classical Logics: An Overview.Hans Ohlbach - 1993 - Logic Journal of the IGPL 1 (1):69-89.
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics.Rosati Riccardo - 1999 - Journal of Logic, Language and Information 8 (2):187-203.

Analytics

Added to PP
2011-02-24

Downloads
55 (#315,408)

6 months
9 (#723,470)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Rohan French
University of California, Davis

Citations of this work

Add more citations

References found in this work

Normal monomodal logics can simulate all others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Reduction of tense logic to modal logic. I.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (3):549-551.
Embeddings of propositional monomodal logics.E. Zolin - 2000 - Logic Journal of the IGPL 8 (6):861-882.

Add more references