𝔖 Bobbio Scriptorium
✦   LIBER   ✦

First-Order Classical Modal Logic

✍ Scribed by Horacio Arló-Costa; Eric Pacuit

Publisher
Springer Netherlands
Year
2006
Tongue
English
Weight
377 KB
Volume
84
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Classically complete modal relevant logi
Classically complete modal relevant logics
✍ Edwin D. Mares 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 674 KB

## Abstract A variety of modal logics based on the relevant logic R are presented. Models are given for each of these logics and completeness is shown. It is also shown that each of these logics admits Ackermann's rule γ and as a corollary of this it is proved that each logic is a conservative exte

Recursive complexity of the Carnap first
Recursive complexity of the Carnap first order modal logic C
✍ Amélie Gheerbrant; Marcin Mostowski 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 134 KB

We consider first order modal logic C firstly defined by Carnap in "Meaning and Necessity" [1]. We prove elimination of nested modalities for this logic, which gives additionally the Skolem-Löwenheim theorem for C. We also evaluate the degree of unsolvability for C, by showing that it is exactly 0 .