Procedural Semantics for Hyperintensional Logic
Subtitle: Foundations and Applications of Transparent Intensional Logic
By: by Marie Duží, Bjorn Jespersen, Pavel Materna
Contributors: Jespersen, Bjørn; Materna, Pavel; SpringerLink (Online service)
Series: Logic, Epistemology, and the Unity of Science -- 17
Publisher: Springer Science+Business Media B.V.
Published: 2010
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] :
Number of pages: 563
ISBN-13: 9789048188116; 9789048188123
Subjects: Linguistics; Ontology; Philosophy (General); Logic; Coding theory; Philosophy; Semantics