Procedural Semantics for Hyperintensional Logic

This book offers a comprehensive overview of Transparent Intensional Logic, developed by Pavel Tichý. It serves as an accessible survey for advanced students in logic and related fields, highlighting recent advancements, unresolved issues, and future directions in logical semantics since Tichý's last publication in 1988.