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...

Full description

Bibliographic Details
Main Authors: Du~,̕ Marie. (Author), Jespersen, Bjorn. (Author), Materna, Pavel. (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
Series:Logic, Epistemology, and the Unity of Science ; 17
Online Access: