The book is currently out of stock
More about the book
This book explores Transparent Intensional Logic (TIL), developed by Pavel Tichý, covering its applications in various fields like AI, semantics, and computer science. It serves as an accessible survey for advanced students, addressing recent developments and unresolved issues in logical semantics since Tichý's last publication in 1988.
Book purchase
Procedural Semantics for Hyperintensional Logic, Bjørn Jespersen, Pavel Materna, Marie Duží
- Language
- Released
- 2010
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.