The elimination theorem when modality is present

Journal of Symbolic Logic 17 (4):249-265 (1952)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266613

Links

PhilArchive



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

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

Rings which admit elimination of quantifiers.Chantal Berline - 1981 - Journal of Symbolic Logic 46 (1):56-58.
On the logic of β -pregroups.Aleksandra Kiślak-Malinowska - 2007 - Studia Logica 87 (2-3):323 - 342.
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
Definability and quantifier elimination for j3-theories.Ítala M. L. D'Ottaviano - 1987 - Studia Logica 46 (1):37 - 54.
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
A powers theory of modality: or, how I learned to stop worrying and reject possible worlds.Jonathan D. Jacobs - 2010 - Philosophical Studies 151 (2):227-248.
Proof normalization modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.
0-D-Valued Fields.Nicolas Guzy - 2006 - Journal of Symbolic Logic 71 (2):639 - 660.
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.

Analytics

Added to PP
2009-01-28

Downloads
82 (#200,628)

6 months
15 (#157,754)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
The Logic of Hyperlogic. Part A: Foundations.Alexander W. Kocurek - 2024 - Review of Symbolic Logic 17 (1):244-271.
On an Intuitionistic Modal Logic.G. M. Bierman & V. C. V. De Paiva - 2000 - Studia Logica 65 (3):383 - 416.

View all 12 citations / Add more citations

References found in this work

Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
A Theory of Formal Deducibility.Haskell B. Curry - 1951 - Journal of Symbolic Logic 16 (1):56-58.

Add more references