𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic

✍ Scribed by M. McKeon

Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
265 KB
Volume
34
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Axiomatization of the First-Order Interm
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I
✍ Shin'ichi Yokota πŸ“‚ Article πŸ“… 1989 πŸ› John Wiley and Sons 🌐 English βš– 370 KB

AXIOMATIZATION OF THE FIRST-ORDER INTERMEDIATE LOGICS OF BOUNDED KRIPKEAN HEIGHTS I by SHIN'ICHI YOKOTA in Tokyo (Japa.n)') ') The part 11 of this paper ronsiste of Chapter 2. The author would like to express his gratitude to Prof. H. ONO for kind correspondence on the subject, and to Mr. Y. KOMORI

Axiomatization of the First-Order Interm
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights II
✍ Shin'Ichi Ykotota πŸ“‚ Article πŸ“… 1991 πŸ› John Wiley and Sons 🌐 English βš– 451 KB

0 1991 D B C ~ ng. d wirs. AXIOMATIZATION OF THE FIRST-ORDER INTERMEDIATE LOGICS OF BOUNDED KRIPKEAN HEIGHTS I1 by SHIN'ICHI YOKOTA in Tokyo (Japan)') \*) Continuation from Part I (this Zeitschrift 35 (1989), 415-421), which consists of Chapter 1 of the present paper as well as the Acknowledgements

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 .