𝔖 Bobbio Scriptorium
✦   LIBER   ✦

First-Order Modal Logic, M. Fitting and R.L. Mendelsohn

✍ Scribed by Valentin Shehtman

Book ID
110299178
Publisher
Springer Netherlands
Year
2001
Tongue
English
Weight
29 KB
Volume
10
Category
Article
ISSN
0925-8531

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

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 .