131 search results - page 1 / 27 » On Monadic Theories of Monadic Predicates |
BIRTHDAY
2010
Springer
13 years 1 months ago
2010
Springer
Pioneers of logic, among them J.R. B
BIRTHDAY
2010
Springer
13 years 4 months ago
2010
Springer
Let M = (A, <, P) where (A, <) is a linear ordering and P denotes a finite sequence of monadic predicates on A. We show that if A contains an interval of order type or -, an...
IANDC
2007
13 years 4 months ago
2007
A fundamental result of Büchi states that the set of monadic second-order formulas true in the structure (Nat, <) is decidable. A natural question is: what monadic predicates ...
CSL
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
JAPLL
2006
13 years 4 months ago
2006
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...