𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Recursive Resolution method for Modal Logic

✍ Scribed by Man-chung Chan

Book ID
112976815
Publisher
Springer
Year
1987
Tongue
English
Weight
976 KB
Volume
5
Category
Article
ISSN
0288-3635

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 .