𝔖 Bobbio Scriptorium

✦ LIBER ✦

Moment/History Duality in Prior’s Logics of Branching-Time

✍ Scribed by Alberto Zanardo

Book ID: 106540027
Publisher: Springer Netherlands
Year: 2006
Tongue: English
Weight: 188 KB
Volume: 150
Category: Article
ISSN: 0039-7857
DOI: 10.1007/s11229-005-5519-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logics of Programs Volume 131 || Design and synthesis of synchronization skeletons using branching time temporal logic

✍ Kozen, Dexter 📂 Article 📅 1982 🏛 Springer-Verlag 🌐 German ⚖ 953 KB