✦ LIBER ✦

A Restricted Second Order Logic for Finite Structures

✍ Scribed by Anuj Dawar

Book ID: 112252344
Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 485 KB
Volume: 143
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1998.2703

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Normal forms for second-order logic over

Normal forms for second-order logic over finite structures, and classification of NP optimization problems

✍ Thomas Eiter; Georg Gottlob; Yuri Gurevich 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 1024 KB

Ordered completion for first-order logic

Ordered completion for first-order logic programs on finite structures

✍ Vernon Asuncion; Fangzhen Lin; Yan Zhang; Yi Zhou 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 395 KB

Finite automata based on quantum logic a

Finite automata based on quantum logic and monadic second-order quantum logic

✍ YongMing Li 📂 Article 📅 2010 🏛 Science in China Press (SCP) 🌐 English ⚖ 239 KB

On second-order generalized quantifiers

On second-order generalized quantifiers and finite structures

✍ Anders Andersson 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 255 KB

We consider the expressive power of second-order generalized quantiÿers on ÿnite structures, especially with respect to the types of the quantiÿers. We show that on ÿnite structures with at most binary relations, there are very powerful second-order generalized quantiÿers, even of the simplest possi

A Defense of Second-Order Logic

✍ Otávio Bueno 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 288 KB

A second-order Lagrangian condition for

A second-order Lagrangian condition for restricted control problems

✍ J. Warga 📂 Article 📅 1978 🏛 Springer 🌐 English ⚖ 321 KB