Transparent Intensional Logic (TIL) is a fi ne-grained framework with considerable expressive power for a systematic, non-reductionist semantic and logical analysis of (natural) languages. It does not subscribe to model-theoretic semantics, but to an interpreted realist version of procedural semantics. TIL has covered a lot of ground since the publication of the book Procedural Semantics for Hyperintensional Logic by Springer in 2010. The areas that have been covered over the last decade include not least the following topics: existential quantification into various kinds of hyperintensional contexts, property modification, topic and focus articulation, inferences with hyperpropositions, varying degrees of hyperintensional individuation, various rules of the lambda calculus, fictional and religious discourse, and impossibility. This volume contains 27 papers that have been published across a wide range of venues since 2010. The papers are organised into six thematically organized chapters: hyperintensional logic; cohyperintensionality, synonymy and propositional unity; deduction and substitution; logic of intensions: (a) presuppositions, requisites and prerequisites, (b) property modifiers; questions, answers, obligations and norms; fiction, religion, and impossibility. This volume thus provides a detailed survey of the state-of-the-art of the foundations of TIL and its most recent applications.
