2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2008
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…
cs.LO2008★ 2 cited
Tableau-based decision procedures for logics of strategic ability in multi-agent systems
Valentin Goranko, Dmitry Shkatov
We develop an incremental tableau-based decision procedures for the Alternating-time temporal logic ATL and some of its variants. While running within the theoretically established…