M.Duží, B. Jespersen, P. Materna:Procedural Semantics for Hyperintensional Logic
(Foundations and Applications of TIL)
Springer, 2010

This volume sets out the foundations of Transparent Intensional Logic, together with many applications to a wide range of topics including formal semantics, philosophy of language, and philosophical logic. Special attention is devoted to some topics that generally tend to be dealt with only in passing. They include, inter alia, notional attitudes, knowing whether, concepts (understood rigorously and non-mentalistically),attitudes de re, and anaphora in hyperintensional contexts.