W. van der Hoek

• Epistemic logic for AI and computer science
• Non-monotonic reasoning and partial semantics
• Modalities for reasoning about knowledge and quantities