Procedural Semantics for Hyperintensional Logic
- 563pages
- 20 heures de lecture
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.
