 | Up a level |
Buss, Samuel R.; Kuznets, Roman (2012). Lower complexity bounds in justification logic. Annals of pure and applied logic, 163(7), pp. 888-905. Amsterdam: Elsevier 10.1016/j.apal.2011.09.010
Buss, Samuel R.; Kuznets, Roman (2009). The NP-Completeness of Reflected Fragments of Justification Logics. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5407 (pp. 122-136). Heidelberg: Springer Verlag 10.1007/978-3-540-92687-0_9
