✦ LIBER ✦

Reduction of second-order logic to modal logic

✍ Scribed by S. K. Thomason

Publisher: John Wiley and Sons
Year: 1975
Tongue: English
Weight: 464 KB
Volume: 21
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19750210114

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Companion to Philosophical Logic || Fi

A Companion to Philosophical Logic || First-Order Alethic Modal Logic

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 96 KB 👁 1 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

A Companion to Philosophical Logic || Mo

A Companion to Philosophical Logic || Modal Logic

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 121 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

From finitary to infinitary second-order

From finitary to infinitary second-order logic

✍ George Weaver; Irena Penev 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 158 KB

## Abstract A back and forth condition on interpretations for those second‐order languages without functional variables whose non‐logical vocabulary is finite and excludes functional constants is presented. It is shown that this condition is necessary and sufficient for the interpretations to be eq

Universal First-Order Definability in Mo

Universal First-Order Definability in Modal Logic

✍ R. E. Jennings; D. K. Johnston; P. K. Schotch 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB

UPiIVERSAL FIRST-ORDER DEFINABILITY I N MODAL LOGIC by R. E. JENNIXGS and D. K. JOHNSTON in Burnaby, British Columbia (Canada) and P. K. SCHOTCH in Halifax, Nova Scotia (Canada)l) In [ l ] R. I. GOLDBLATT presents a model theoretic characterization of the class of modal sentences determined by firs

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 Companion to Philosophical Logic || Al

A Companion to Philosophical Logic || Alethic Modal Logics and Semantics

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 248 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.