𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A new concept of predicative truth and definability

✍ Scribed by N. N. Nepeivoda


Publisher
SP MAIK Nauka/Interperiodica
Year
1973
Tongue
English
Weight
399 KB
Volume
13
Category
Article
ISSN
0001-4346

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Definability and decidability of binary
✍ 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