Dmitry Shkatov

2009
8	EE	Valentin Goranko, Dmitry Shkatov: Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. LFCS 2009: 197-213
7	EE	Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time CoRR abs/0902.2104: (2009)
6	EE	Valentin Goranko, Dmitry Shkatov: Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic CoRR abs/0902.2125: (2009)
2008
5	EE	Valentin Goranko, Dmitry Shkatov: Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. SEFM 2008: 237-246
4	EE	Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedures for logics of strategic ability in multi-agent systems CoRR abs/0803.2306: (2008)
3	EE	Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge CoRR abs/0808.4133: (2008)
2006
2	EE	Natasha Alechina, Dmitry Shkatov: Logics with an existential modality. Advances in Modal Logic 2006: 31-48
1	EE	Natasha Alechina, Dmitry Shkatov: A general method for proving decidability of intuitionistic modal logics. J. Applied Logic 4(3): 219-230 (2006)

Coauthor Index

1	Natasha Alechina	[1] [2]
2	Valentin Goranko	[3] [4] [5] [6] [7] [8]

Colors in the list of coauthors