Procedural Semantics for Hyperintensional Logic

This book is about Transparent Intensional Logic, the brainchild of Pavel Tichý. But we, the three authors, have striven to write an accessible one-stop survey of Transparent Intensional Logic that may be read by advanced students of logic, semantics, linguistics, informatics, computer science, and kindred disciplines.