activity
20082026
most citedUndecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter

29 citations · 109 across the 15 of their papers we have counts for

collaborators
Showing 2012 · cs.LOShow all

1 paper · 2 filters

cs.LO2012

Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge

Mai Ajspur, Valentin Goranko, Dmitry Shkatov

We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi-agent epistemic logic CMAEL(CD) with operators for common a…