Christoph Benzmüller

Latest

• Mathematical Proof Assistants for Teaching Logic: The LogiKEy Methodology
• Right on Thought, Left Private: Reasoning about Mental Privacy in LogiKEy
• Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning
• Formalizing Mental Privacy in LogiKEy
• Reasoning with Epistemic Rights and Duties: Automating a Dynamic Logic of the Right to Know in LogiKEy
• Visualizing Kripke Models in LogiKEy: the Case of SDL
• Conditional normative reasoning as a fragment of HOL
• Implementing the Fatio Protocol for Multi-Agent Argumentation in LogiKEy
• Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)