Finite Satisfiability of Modal Logic over Horn~Definable Classes of Frames.

Jakub Michaliszyn, Emanuel Kieronski

Browse the full AiML paper archive.