Dmitry Shkatov

	2009
9		Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. AAMAS (2) 2009: 969-976
8		Valentin Goranko, Dmitry Shkatov: Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. LFCS 2009: 197-213
7		Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time CoRR abs/0902.2104: (2009)
6		Valentin Goranko, Dmitry Shkatov: Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic CoRR abs/0902.2125: (2009)
	2008
5		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		Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedures for logics of strategic ability in multi-agent systems CoRR abs/0803.2306: (2008)
3		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		Natasha Alechina, Dmitry Shkatov: Logics with an existential modality. Advances in Modal Logic 2006: 31-48
1		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] [9]

Colors in the list of coauthors