procedural-semantics-for-hyperintensional-logic-foundations-and-applications-of-til

Procedural Semantics for Hyperintensional Logic (Foundations and Applications of TIL)

Marie Duží, Bjorn Jespersen, Pavel Materna:

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.

Springer, 2010