40 citations · 211 across the 45 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 13 cited
Systematic Verification of the Modal Logic Cube in Isabelle/HOL
Christoph Benzmüller, Maximilian Claus, Nik Sultana
We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoni…
cs.LO2015
LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners
Max Wisniewski, Alexander Steen, Christoph Benzmüller
LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic(s). It combines a sophisticated data structure layer (polymorphically typ…