Marie Duží

• Procedural Semantics for Hyperintensional Logic
• Information modelling and knowledge bases XVIII