Journal of Symbolic Logic 34 (1):21-23 (1969)

Authors
Alan Slomson
University of Leeds
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2270976
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,436
Through your library

References found in this work BETA

The Undecidability of Monadic Modal Quantification Theory.Saul A. Kripke - 1962 - Mathematical Logic Quarterly 8 (2):113-116.

Add more references

Citations of this work BETA

First-Order Modal Theories III — Facts.Kit Fine - 1982 - Synthese 53 (1):43-122.
On the Primary and Secondary Semantics of Logical Necessity.Nino Cocchiarella - 1975 - Journal of Philosophical Logic 4 (1):13 - 27.

Add more citations

Similar books and articles

Functional Dependencies Between Variables.Natasha Alechina - 2000 - Studia Logica 66 (2):273-283.
Complete Problems in the First-Order Predicate Calculus.David A. Plaisted - 1979 - Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Automatic Proofs for Theorems on Predicate Calculus.Sueli Mendes dos Santos - 1972 - [Rio De Janeiro, Pontificia Universidade Católica Do Rio De Janeiro].
First-Order Frege Theory is Undecidable.Warren Goldfarb - 2001 - Journal of Philosophical Logic 30 (6):613-616.
Wittgensteinian Predicate Logic.Kai F. Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.

Analytics

Added to PP index
2009-01-28

Total views
15 ( #701,158 of 2,520,366 )

Recent downloads (6 months)
1 ( #405,718 of 2,520,366 )

How can I increase my downloads?

Downloads

My notes