Search

Christoph Benzmüller

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)

Published with Wowchemy — the free, open source website builder that empowers creators.