29 citations · 109 across the 15 of their papers we have counts for
Showing 2009 · cs.LOShow all
2 papers · 2 filters
cs.LO2009
Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic
Valentin Goranko, Dmitry Shkatov
We study the multiagent epistemic logic CMAELCD with operators for common and distributed knowledge for all coalitions of agents. We introduce Hintikka structures for this logic an…
cs.LO2009
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time
Valentin Goranko, Dmitry Shkatov
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common and…