𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Statistical calibration: A simplification of Foster’s proof

✍ Scribed by Andrés Carvajal


Book ID
104045909
Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
363 KB
Volume
58
Category
Article
ISSN
0165-4896

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A simplification of a completeness proof
✍ Dick H. J. Jongh 📂 Article 📅 1987 🏛 Springer Netherlands 🌐 English ⚖ 401 KB

The modM completeness proofs of Guasp~ri and Solovay (1979) for their systems R and R-are improved and the relationship between R and R-is clarified. Guaspari-Sclovay (1979) a modal completeness proof was given for a system R which extends the provabflity logic L by the incorporation of the symbols