29 citations · 109 across the 15 of their papers we have counts for
Showing 2008 · cs.LOShow all
2 papers · 2 filters
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…