Embeddings of classical logic in S4

Studia Logica 34 (1):87-100 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02314426

Links

PhilArchive



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

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

On some interpretations of classical logic.Branislav R. Boričić & B. R. Boričić - 1992 - Mathematical Logic Quarterly 38 (1):409-412.
Reflections on “difficult” embeddings.Andreja Prijatelj - 1995 - Journal of Philosophical Logic 24 (1):71 - 84.
Embeddings of classical logic in S4 part II.Johannes Czermak - 1976 - Studia Logica 35 (3):257-271.
Multimodal and intuitionistic logics in simple type theory.Christoph Benzmueller & Lawrence Paulson - 2010 - Logic Journal of the IGPL 18 (6):881-892.
Embedding Quantum Universes in Classical Ones.Cristian S. Calude, Peter H. Hertling & Karl Svozil - 1999 - Foundations of Physics 29 (3):349-379.
On proof terms and embeddings of classical substructural logics.Ken-Etsu Fujita - 1998 - Studia Logica 61 (2):199-221.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
A nonlow2 R. E. Degree with the Extension of Embeddings Properties of a low2 Degree.Y. Yang & R. A. Shore - 2002 - Mathematical Logic Quarterly 48 (1):131-146.
Submodels of Kripke models.Albert Visser - 2001 - Archive for Mathematical Logic 40 (4):277-295.
A Note on the Logic of Eventual Permanence for Linear Time.Rohan French - 2008 - Notre Dame Journal of Formal Logic 49 (2):137-142.
On colimits and elementary embeddings.Joan Bagaria & Andrew Brooke-Taylor - 2013 - Journal of Symbolic Logic 78 (2):562-578.
Embeddings of Computable Structures.Asher M. Kach, Oscar Levin & Reed Solomon - 2010 - Notre Dame Journal of Formal Logic 51 (1):55-68.
Critical points in an algebra of elementary embeddings.Randall Dougherty - 1993 - Annals of Pure and Applied Logic 65 (3):211-241.
Universal Spaces for Classes of Scattered Eberlein Compact Spaces.Murray Bell & Witold Marciszewski - 2006 - Journal of Symbolic Logic 71 (3):1073 - 1080.

Analytics

Added to PP
2009-01-28

Downloads
14 (#934,671)

6 months
1 (#1,459,555)

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.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
An Introduction to Modal Logic.R. A. Bull - 1971 - Journal of Symbolic Logic 36 (2):328-328.
Model existence theorems for modal and intuitionistic logics.Melvin Fitting - 1973 - Journal of Symbolic Logic 38 (4):613-627.

View all 8 references / Add more references