๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Some Theorems on Definability and Decidability

โœ Scribed by A. Church; W. V. Quine

Book ID
126153960
Publisher
Association for Symbolic Logic
Year
1952
Tongue
English
Weight
814 KB
Volume
17
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Decidability and Definability Results Co
Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic
โœ Bogdan Stanislaw Chlebus ๐Ÿ“‚ Article ๐Ÿ“… 1980 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 452 KB

DECIDABILITY AND DEFINABILITY RESULTS CONCERNING WELL-ORDERINGS AND SOME EXTENSIONS OF FIRST ORDER LOGIC by BOGDAN STANISLAW CHLEBUS in Warsaw (Poland) ## 1. Introdiirtion Let L\* denote a countable extension of the first order language L. I n this paper 1 ) definability of the class of well-order

Definability and decidability of binary
Definability and decidability of binary predicates for time granularity
โœ Massimo Franceschet; Angelo Montanari; Adriano Peron; Guido Sciavicco ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 288 KB

In this paper we study the definability and decidability of binary predicates for time granularity in monadic languages interpreted over finitely and infinitely layered structures. We focus our attention on the equi-level (respectively equi-column) predicate constraining two time points to belong to