procedural semantics for hyperintensional logic,foundations and applications of transparent intensional logic

marie duzi · springer verlag