93 citations · 141 across the 18 of their papers we have counts for
Showing 2008Show all
3 papers · 1 filter
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★ 11 cited
Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge
Valentin Goranko, Dmitry Shkatov
We develop an incremental-tableau-based decision procedure for the multi-agent epistemic logic MAEL(CD) (aka S5_n (CD)), whose language contains operators of individual knowledge f…
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…