Unary predicates

Notre Dame Journal of Formal Logic 15 (4):635-638 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Presburger arithmetic with unary predicates is Π11 complete.Joseph Y. Halpern - 1991 - Journal of Symbolic Logic 56 (2):637 - 642.
The decision problem for branching time logic.Yuri Gurevich & Saharon Shelah - 1985 - Journal of Symbolic Logic 50 (3):668-681.
Vague predicates and language games.Rohit Parikh - 1996 - Theoria 11 (3):97-107.
Counting finite models.Alan R. Woods - 1997 - Journal of Symbolic Logic 62 (3):925-949.
Basic logic, k4, and persistence.Wim Ruitenburg - 1999 - Studia Logica 63 (3):343-352.
Must Synonymous Predicates be Coextensive?Charles Sayward - 1981 - Logique Et Analyse 95 (95):430-435.
The lazy logic of partial terms.Raymond D. Gumb - 2002 - Journal of Symbolic Logic 67 (3):1065-1077.
Quantum sortal predicates.Décio Krause & Steven French - 2007 - Synthese 154 (3):417 - 430.
Quantum Sortal Predicates.D.\'ecio Krause & Steven French - 2007 - Synthese 154 (3):417 - 430.

Analytics

Added to PP
2010-08-24

Downloads
10 (#1,026,208)

6 months
3 (#447,120)

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