Marie Duí

• Procedural Semantics for Hyperintensional Logic