✦ LIBER ✦

Properties and the Interpretation of Second-Order Logic

✍ Scribed by Hale, B.

Book ID: 115446461
Publisher: Oxford University Press
Year: 2012
Tongue: English
Weight: 197 KB
Volume: 21
Category: Article
ISSN: 0031-8019
DOI: 10.1093/philmat/nks016

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reduction of second-order logic to modal

Reduction of second-order logic to modal logic

✍ S. K. Thomason 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 464 KB

Interpretation of second-order factors

✍ Karl J. Holzinger 📂 Article 📅 1945 🏛 Springer 🌐 English ⚖ 269 KB

Rudimentary Languages and Second-Order L

Rudimentary Languages and Second-Order Logic

✍ Malika More; Frédéric Olive 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 446 KB

## Abstract The aim of this paper is to point out the equivalence between three notions respectively issued from recursion theory, computational complexity and finite model theory. One the one hand, the rudimentary languages are known to be characterized by the linear hierarchy. On the other hand,

A Defense of Second-Order Logic

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

Completeness and Hauptsatz for second or

Completeness and Hauptsatz for second order logic

✍ DAG PRAWITZ 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 592 KB

Circle graphs and monadic second-order l

Circle graphs and monadic second-order logic

✍ Bruno Courcelle 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 357 KB

This article is part of a project consisting in expressing, whenever possible, graph properties and graph transformations in monadic second-order logic or in its extensions using modulo p cardinality set predicates or auxiliary linear orders. A circle graph is the intersection graph of a set of chor