Symbolic model checking of tense logics on rational Kripke models

Wilmari Bekker, Valentin Goranko

We introduce the class of rational Kripke models and study symbolic model checking of the basic tense logic Kt and some extensions of it in models from that class. Rational Kripke…