Title: Procedural Semantics for Hyperintensional Logic
Subjects: Linguistics, Ontology, Philosophy (General), Logic, Coding theory, Philosophy, Semantics, Language and logic