𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some Modifications of Carnap’s Modal Logic

✍ Scribed by Vít Punčochář

Book ID
113079989
Publisher
Springer Netherlands
Year
2012
Tongue
English
Weight
284 KB
Volume
100
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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 .