The Elimination of Contextually Defined Predicates in a Modal System

Journal of Symbolic Logic 16 (1):73-74 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268699

Links

PhilArchive



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

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

The elimination of contextually defined predicates in a modal system.Ruth Barcan Marcus - 1950 - Journal of Symbolic Logic 15 (2):92.
Ruth Barcan Marcus. The elimination of contexlually defined predicates in a modal system. The journal of symbolic logic, vol. 15 , p. 92. [REVIEW]Frederic B. Fitch - 1951 - Journal of Symbolic Logic 16 (1):73-74.
Cut-elimination Theorems of Some Infinitary Modal Logics.Yoshihito Tanaka - 2001 - Mathematical Logic Quarterly 47 (3):327-340.
Syntactic cut-elimination for a fragment of the modal mu-calculus.Kai Brünnler & Thomas Studer - 2012 - Annals of Pure and Applied Logic 163 (12):1838-1853.
A modal type theory for formalizing trusted communications.Giuseppe Primiero & Mariarosaria Taddeo - 2012 - Journal of Applied Logic 10 (1):92-114.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
Nominalizations: The Case of Nominalizations of Modal Predicates.Friederike Moltmann - 2020 - In Lisa Matthewson, Cécile Meier, Hotze Rullman & Thomas Ede Zimmermann (eds.), Blackwell Companion to Semantics. Wiley.
Defining relevant implication in a propositionally quantified S.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.
Cut Elimination for GLS Using the Terminability of its Regress Process.Jude Brighton - 2016 - Journal of Philosophical Logic 45 (2):147-153.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Modal Predicates.Andrea Iacona - 2004 - Australasian Journal of Logic 2:44-69.
Effective Cut-elimination for a Fragment of Modal mu-calculus.Grigori Mints - 2012 - Studia Logica 100 (1-2):279-287.
Defining Relevant Implication in a Propositionally Quantified S4.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.
A System of Arithmetic in Modal Logic.Lee Merrill Davidson - 1981 - Dissertation, Yale University
Herbrand style proof procedures for modal logic.Marta Cialdea - 1993 - Journal of Applied Non-Classical Logics 3 (2):205-223.

Analytics

Added to PP
2017-02-21

Downloads
12 (#1,081,406)

6 months
3 (#965,065)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references