Procedural semantics for hyperintensional logic foundations and applications of transparent intensional logic - Duzi, Marie; Jespersen, Bjorn; Materna, Pavel; SpringerLink (Online service) (Dordrecht : Springer Science+Business Media B.V., 2010)
Keywords: Language and logic; Philosophy; Logic; Semantics; Coding and Information Theory; Philosophy of Language; Ontology