𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Interpreting logics of knowledge in propositional dynamic logic with converse

✍ Scribed by Michael J. Fischer; Neil Immerman


Book ID
113163054
Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
404 KB
Volume
25
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Foun
✍ Hartmann, Sven; Kern-Isberner, Gabriele πŸ“‚ Article πŸ“… 2008 πŸ› Springer Berlin Heidelberg 🌐 English βš– 477 KB

An ideal text for researchers and professionals alike, this book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa, Italy, in February 2008. The 13 revised full papers are presented together with nine