Search results for "Roman Kuznets"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link
1	Samuel R. Buss, Roman Kuznets	Lower complexity bounds in justification logic.	Ann. Pure Appl. Logic	2012	DBLP DOI BibTeX RDF
1	Samuel Bucheli, Roman Kuznets, Thomas Studer	Justifications for common knowledge.	Journal of Applied Non-Classical Logics	2011	DBLP BibTeX RDF
1	Samuel Bucheli, Roman Kuznets, Thomas Studer	Partial Realization in Dynamic Justification Logic.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Samuel Bucheli, Roman Kuznets, Thomas Studer	Two Ways to Common Knowledge.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Samuel Bucheli, Roman Kuznets, Thomas Studer	Explicit Evidence Systems with Common Knowledge	CoRR	2010	DBLP BibTeX RDF
1	Roman Kuznets	Self-Referential Justifications in Epistemic Logic.	Theory Comput. Syst.	2010	DBLP DOI BibTeX RDF
1	Kai Brünnler, Remo Goetschi, Roman Kuznets	A Syntactic Realization Theorem for Justification Logics.	Advances in Modal Logic	2010	DBLP BibTeX RDF
1	Samuel R. Buss, Roman Kuznets	The NP-Completeness of Reflected Fragments of Justification Logics.	LFCS	2009	DBLP DOI BibTeX RDF
1	Sergei N. Artëmov, Roman Kuznets	Logical omniscience as a computational complexity problem.	TARK	2009	DBLP DOI BibTeX RDF
1	Roman Kuznets	Self-referentiality of Justified Knowledge.	CSR	2008	DBLP DOI BibTeX RDF
1	Roman Kuznets	Proof Identity for Classical Logic: Generalizing to Normality.	LFCS	2007	DBLP DOI BibTeX RDF
1	Vladimir Brezhnev, Roman Kuznets	Making knowledge explicit: How hard it is.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Sergei N. Artëmov, Roman Kuznets	Logical Omniscience Via Proof Complexity.	CSL	2006	DBLP DOI BibTeX RDF
1	Roman Kuznets	On the Complexity of Explicit Modal Logics.	CSL	2000	DBLP DOI BibTeX RDF

Displaying result #1 - #14 of 14 (100 per page; Change: )

Publications of "Roman Kuznets" ( http://dblp.L3S.de/Authors/Roman_Kuznets )