Maximilian Claus

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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 reasoning tools. Prior work addresses this problem but without restriction to the modal logic cube, and using encodings in first-order logic in combination with first-order automated(More)
  • 1