Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic

• Main Author: DuΕΎΓ­, Marie
• Corporate Author: SpringerLink (Online service)
• Other Authors: Jespersen, Bjorn, Materna, Pavel
• Format: Electronic Kit Book
• Language: English
• Published: Dordrecht Springer Science+Business Media B.V. 2010
• Series: Logic, Epistemology, and the Unity of Science 17
• Subjects: Philosophy (General); Logic; Οντολογία; Γλωσσολογία > Φιλοσοφία; Coding theory; Σημασιολογία; Philosophy; Coding and Information Theory; Γλώσσα και γλώσσες > Φιλοσοφία