𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On semantical rules and definable predicates

✍ Scribed by R. M. Martin


Publisher
Springer Netherlands
Year
1959
Tongue
English
Weight
362 KB
Volume
10
Category
Article
ISSN
0031-8116

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