The Work Procedural Semantics for Hyperintensional Logic – Foundations and Applications of Transparent Intensional Logic The details The Author Pavel Materna The offers View on Kindle View paperback on Amazon View hardback on Amazon