𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Proof-Theory of two Formalisations of Modal First-Order Logic

✍ Scribed by Yehuda Schwartz; George Tourlakis

Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
332 KB
Volume
96
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the Proof Theory of the Modal Logic G
On the Proof Theory of the Modal Logic Grz
✍ M. Borga; P. Gentilini πŸ“‚ Article πŸ“… 1986 πŸ› John Wiley and Sons 🌐 English βš– 246 KB πŸ‘ 1 views
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 .