The elimination of contextually defined predicates in a modal system

Journal of Symbolic Logic 15 (2):92 (1950)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266968

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

Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
A modal type theory for formalizing trusted communications.Giuseppe Primiero & Mariarosaria Taddeo - 2012 - Journal of Applied Logic 10 (1):92-114.
Defining relevant implication in a propositionally quantified S.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.
Introducing new predicates to model scientific revolution.Charles X. Ling - 1995 - International Studies in the Philosophy of Science 9 (1):19 – 36.
Probability: A new logico-semantical approach. [REVIEW]Christina Schneider - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (1):107 - 124.
Indexed systems of sequents and cut-elimination.Grigori Mints - 1997 - Journal of Philosophical Logic 26 (6):671-696.
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
Quantifier elimination in Tame infinite p-adic fields.Ingo Brigandt - 2001 - Journal of Symbolic Logic 66 (3):1493-1503.

Analytics

Added to PP
2009-01-28

Downloads
44 (#353,833)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Ruth Barcan Marcus.Roberta Ballarin - 2024 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references