Title: Procedural Semantics for Hyperintensional Logic
Subjects: Language and logic