Roman Kuznets

	2012
14		Samuel R. Buss, Roman Kuznets: Lower complexity bounds in justification logic. Ann. Pure Appl. Logic 163(7): 888-905 (2012)
	2011
13		Samuel Bucheli, Roman Kuznets, Thomas Studer: Partial Realization in Dynamic Justification Logic. WoLLIC 2011: 35-51
12		Samuel Bucheli, Roman Kuznets, Thomas Studer: Justifications for common knowledge. Journal of Applied Non-Classical Logics 21(1): 35-60 (2011)
	2010
11		Kai Brünnler, Remo Goetschi, Roman Kuznets: A Syntactic Realization Theorem for Justification Logics. Advances in Modal Logic 2010: 39-58
10		Samuel Bucheli, Roman Kuznets, Thomas Studer: Explicit Evidence Systems with Common Knowledge CoRR abs/1005.0484: (2010)
9		Samuel Bucheli, Roman Kuznets, Thomas Studer: Two Ways to Common Knowledge. Electr. Notes Theor. Comput. Sci. 262: 83-98 (2010)
8		Roman Kuznets: Self-Referential Justifications in Epistemic Logic. Theory Comput. Syst. 46(4): 636-661 (2010)
	2009
7		Samuel R. Buss, Roman Kuznets: The NP-Completeness of Reflected Fragments of Justification Logics. LFCS 2009: 122-136
6		Sergei N. Artëmov, Roman Kuznets: Logical omniscience as a computational complexity problem. TARK 2009: 14-23
	2008
5		Roman Kuznets: Self-referentiality of Justified Knowledge. CSR 2008: 228-239
	2007
4		Roman Kuznets: Proof Identity for Classical Logic: Generalizing to Normality. LFCS 2007: 332-348
	2006
3		Sergei N. Artëmov, Roman Kuznets: Logical Omniscience Via Proof Complexity. CSL 2006: 135-149
2		Vladimir Brezhnev, Roman Kuznets: Making knowledge explicit: How hard it is. Theor. Comput. Sci. 357(1-3): 23-34 (2006)
	2000
1		Roman Kuznets: On the Complexity of Explicit Modal Logics. CSL 2000: 371-383

Coauthor Index

1	Sergei N. Artëmov	[3] [6]
2	Vladimir Brezhnev	[2]
3	Kai Brünnler	[11]
4	Samuel Bucheli	[9] [10] [12] [13]
5	Samuel R. Buss	[7] [14]
6	Remo Goetschi	[11]
7	Thomas Studer	[9] [10] [12] [13]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page