13 citations · 13 across the 1 of their papers we have counts for
1 paper
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…