13 citations · 14 across the 2 of their papers we have counts for
2 papers
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.LO2013★ 1 cited
Update report: LEO-II version 1.5
Christoph Benzmüller, Nik Sultana
Recent improvements of the LEO-II theorem prover are presented. These improvements include a revised ATP interface, new translations into first-order logic, rule support for the ax…