TY  - RPRT
TI  - Systematic Verification of the Modal Logic Cube in Isabelle/HOL
AU  - Christoph Benzmüller
AU  - Maximilian Claus
AU  - Nik Sultana
PY  - 2015
DO  - 10.4204/eptcs.186.5
UR  - https://arxiv.org/abs/1507.08717
ID  - 1507.08717
ER  -