𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A completeness proof for adapted probability logic

✍ Scribed by H.Jerome Keisler

Publisher
Elsevier Science
Year
1986
Tongue
English
Weight
578 KB
Volume
31
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Completeness Result for Quantification
A Completeness Result for Quantificational Tense Logic
✍ Robert P. McArthur; Hugues Leblanc πŸ“‚ Article πŸ“… 1976 πŸ› John Wiley and Sons 🌐 English βš– 529 KB

We establish in this paper the strong completeness of QK,, a minimal quantificational tense logic. Our result differs from those already in the literature, say [l], in two major respects. First, unlike COCCHIARELLA'S proof, which utilizea semantic tableaux, ours is run in the HENKIN fashion (with mo