Dmitry Shkatov

Identifiers

• name variant Dmitry Shkatov 0.60 · backfill

Papers (6)

1. Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables cs.LO · 2018 · author #2
2. On complexity of propositional Linear-time Temporal Logic with finitely many variables cs.LO · 2017 · author #2
3. Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge cs.LO · 2012 · author #3
4. Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic cs.LO · 2009 · author #2
5. Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge cs.LO · 2008 · author #2
6. Tableau-based decision procedures for logics of strategic ability in multi-agent systems cs.LO · 2008 · author #2

Mentions

• 1201.5346 #3 · backfill · confidence 0.70 Dmitry Shkatov
• 0902.2125 #2 · backfill · confidence 0.70 Dmitry Shkatov
• 0808.4133 #2 · backfill · confidence 0.70 Dmitry Shkatov
• 0803.2306 #2 · backfill · confidence 0.70 Dmitry Shkatov

Frequent Coauthors

• Valentin Goranko 4 shared papers
• Mikhail Rybakov 2 shared papers
• Mai Ajspur 1 shared papers