Export 2 results:
Filters: Author is Buss, Samuel R.  [Clear All Filters]
Buss, S.R., Kuznets, R.: Lower complexity bounds in justification logic. Annals of Pure and Applied Logic. 163, 888-905 (2012).
Buss, S.R., Kuznets, R.: The NP-completeness of reflected fragments of justification logics. In: Artemov, S. and Nerode, A. Proceedings of Symposium on Logical Foundations of Computer Science (LFCS'09). pp. 122-136 (2009).