Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)

by Christoph Benzmüller
Published 2019-06-01

Systematic Verification of the Modal Logic Cube in Isabelle/HOL

by Christoph Benzmüller, Maximilian Claus, Nik Sultana
Published 2015-07-01

LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)

by Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
Published 2020-12-01