Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic /
July 2011 -- The Council of the Academy of Sciences of the Czech Republic has presented Procedural Semantics for Hyperintensional Logic with its prestigious award for outstanding results of major scientific importance. This volume sets out the foundations of Transparent Intensional Logic, together w...
|Main Authors:||, ,|
Springer Netherlands : Imprint: Springer,
|Series:||Logic, Epistemology, and the Unity of Science ;