✦ LIBER ✦

Two-variable logic on data words

✍ Scribed by Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc

Book ID: 121298343
Publisher: Association for Computing Machinery
Year: 2011
Tongue: English
Weight: 268 KB
Volume: 12
Category: Article
ISSN: 1529-3785
DOI: 10.1145/1970398.1970403

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Expressiveness of Hybrid Temporal Logic

Expressiveness of Hybrid Temporal Logic on Data Words

✍ Ahmet Kara; Thomas Schwentick 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 279 KB

On Preservation Theorems for Two-Variabl

On Preservation Theorems for Two-Variable Logic

✍ Erich Gradel; Eric Rosen 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 736 KB

## Abstract We show that the existential preservation theorem fails for two‐variable first‐order logic FO^2^. It is known that for all __k__ ≥ 3, FO^k^ does not have an existential preservation theorem, so this settles the last open case, answering a question of Andreka, van Benthem, and Németi. In

Undecidability results on two-variable l

Undecidability results on two-variable logics

✍ Erich Grädel; Martin Otto; Eric Rosen 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 260 KB

The word ‘variable’ in logic, mathematic

The word ‘variable’ in logic, mathematics and economics

✍ Harald Dickson 📂 Article 📅 1971 🏛 Springer US 🌐 English ⚖ 743 KB

Two-layer multiple-variable fuzzy logic

Two-layer multiple-variable fuzzy logic controller

✍ Han, J.-Y.; McMurray, V. 📂 Article 📅 1993 🏛 Institute of Electrical and Electronics Engineers ⚖ 821 KB

Logic over Words on Denumerable Ordinals

✍ Nicolas Bedon 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 284 KB

The main result of this paper is the extension of the theorem of Schützenberger, McNaughton, and Papert on star-free sets of finite words to languages of words of countable length. We also give another proof of the theorem of Büchi which establishes the equivalence between automata and monadic secon