Procedural semantics for hyperintensional logic : foundations and applications of transparent intensional logic - Duží, Marie, 1948- (Logic, epistemology, and the unity of science ;, 2010)