Journal of Applied Logic 4 (2):168-191 (2006)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.jal.2005.06.004
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: 70,130
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

The Decision Problem for Branching Time Logic.Yuri Gurevich & Saharon Shelah - 1985 - Journal of Symbolic Logic 50 (3):668-681.
The Axiom of Choice in Second‐Order Predicate Logic.Christine Gaßner - 1994 - Mathematical Logic Quarterly 40 (4):533-546.
Decidability Results for Metric and Layered Temporal Logics.Angelo Montanari & Alberto Policriti - 1996 - Notre Dame Journal of Formal Logic 37 (2):260-282.
Decidability and Definability in Second-Order Theories.Michael O. Rabin - 1975 - Journal of Symbolic Logic 40 (4):623-623.
Some Theorems on Definability and Decidability.Alonzo Church & W. V. Quine - 1952 - Journal of Symbolic Logic 17 (3):179-187.
Biomedical Informatics and Granularity.Anand Kumar & Barry Smith - 2004 - Comparative and Functional Genomics 5 (6-7):501-508.
Decidability of Definability.Manuel Bodirsky, Michael Pinsker & Todor Tsankov - 2013 - Journal of Symbolic Logic 78 (4):1036-1054.


Added to PP index

Total views
4 ( #1,278,214 of 2,506,495 )

Recent downloads (6 months)
1 ( #416,791 of 2,506,495 )

How can I increase my downloads?


My notes