{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Buss, SR, Kuznets R.\'a0 2012.\'a0\'a0Lower complexity bounds in justification logic. Annals of Pure and Applied Logic. 163:888?905.\par \par Goetschi, R, Kuznets R.\'a0 2012.\'a0\'a0Realization for Justification Logics via Nested Sequents: Modularity through Embedding. Annals of Pure and Applied Logic. \par \par Bucheli, S, Kuznets R, Studer T.\'a0 2011.\'a0\'a0Justifications for Common Knowledge. Journal of Applied Non-classical Logics. 21(1):35-60.\par \par Bucheli, S, Kuznets R, Studer T.\'a0 2011.\'a0\'a0Partial Realization in Dynamic Justification Logic. Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011, Proceedings. 6642:35-51.\par \par Bucheli, S, Kuznets R, Studer T.\'a0 2010.\'a0\'a0Explicit Evidence Systems with Common Knowledge. \par \par Kuznets, R.\'a0 2010.\'a0\'a0Self-Referential Justifications in Epistemic Logic. Theory of Computing Systems. 46:636?661.\par \par Bucheli, S, Kuznets R, Studer T.\'a0 2010.\'a0\'a0Two Ways to Common Knowledge. Proceedings of the 6th\'a0Workshop on \{M\}ethods for \{Modalities\} (\{M4M?6\'a02009\}), \{C\}openhagen, \{D\}enmark, 12?14 \{N\}ovember 2009. :83?98.\par \par Bucheli, S, Kuznets R, Renne B, Sack J, Studer T.\'a0 2010.\'a0\'a0Justified Belief Change. Proceedings of the \{S\}econd \{ILCLI\} \{I\}nternational \{W\}orkshop on \{L\}ogic and \{P\}hilosphy of \{K\}nowledge, \{C\}ommunication and \{A\}ction (\{L\}og\{KCA\}-10). :135?155.\par \par Br\'fcnnler, K, Goetschi R, Kuznets R.\'a0 2010.\'a0\'a0A Syntactic Realization Theorem for Justification Logics. Advances in Modal Logic, Volume 8. :39?58.\par \par Artemov, S, Kuznets R.\'a0 2009.\'a0\'a0Logical Omniscience as a Computational Complexity Problem. Theoretical \{A\}spects of \{R\}ationality and \{K\}nowledge, Proceedings of the Twelfth Conference (\{TARK\'a02009\}). :14?23.\par \par Buss, SR, Kuznets R.\'a0 2009.\'a0\'a0The NP-completeness of reflected fragments of justification logics. Proceedings of \{S\}ymposium on \{L\}ogical \{F\}oundations of \{C\}omputer \{S\}cience (\{LFCS\}'09). 5407:122-136.\par \par Kuznets, R.\'a0 2009.\'a0\'a0A Note on the Use of Sum in the Logic of Proofs. Proceedings of the 7th\'a0\{P\}anhellenic \{L\}ogic \{S\}ymposium. :99?103.\par \par }