On Checking Kripke Models for Modal Logic K.

Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail

Browse the full CADE paper archive.