✦ LIBER ✦

Pure Second-Order Logic with Second-Order Identity

✍ Scribed by Paseau, Alexander

Book ID: 121670760
Publisher: University of Notre Dame
Year: 2010
Tongue: English
Weight: 167 KB
Volume: 51
Category: Article
ISSN: 0029-4527
DOI: 10.1215/00294527-2010-021

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Characterizing Second Order Logic with F

Characterizing Second Order Logic with First Order Quantifiers

✍ David Harel 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 257 KB

CHARACTERIZING SECOND ORDER LOGIC WITH FIRST ORDER QU-4NTIFIERX by DAVID HAREL in Cambridge, Massachusets (U.S.A.) l) ') The author is indebted to W. J. WALKOE, A. R. MEYER, A. SHAMIR and a rcfeiee for comments on previous versions.

On Second-Order Logic

✍ Boolos, George 📂 Fiction 📅 0 🌐 English ⚖ 1 MB

A Defense of Second-Order Logic

✍ Otávio Bueno 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 288 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,

Second-order logic on equivalence relati

Second-order logic on equivalence relations

✍ Georgiev, Georgi; Tinchev, Tinko 📂 Article 📅 2008 🏛 Editions Lavoisier 🌐 English ⚖ 241 KB

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