𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Ω-theorem...: Addendum

✍ Scribed by Y. -F. S. Pétermann


Book ID
105261442
Publisher
Springer Vienna
Year
1988
Tongue
English
Weight
53 KB
Volume
105
Category
Article
ISSN
0026-9255

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Completeness Theorems for Temporal Logic
✍ Hiroya Kawai 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 318 KB

COMPLETENESS THEOREMS FOR TEMPORAL LOGICS T, AND OT, by HIROYA KAWAI in Osaka (Japan)') l ) The author would like t o express his sincere thanks to Professor T. NISHIJIWRA of Tsukuba University.