1. Artemov, S.N.: Explicit provability and constructive semantics. BSL 7(1), 1–36 (2001)
2. Artemov, S.N.: The logic of justification. RSL 1(4), 477–513 (2008)
3. Baltag, A., Renne, B., Smets, S.: The logic of justified belief, explicit knowledge, and conclusive evidence. APAL 165(1), 49–81 (2014)
4. Bucheli, S., Kuznets, R., Studer, T.: Justifications for common knowledge. Appl. Non Class. Log. 21(1), 35–60 (2011)
5. Bucheli, S., Kuznets, R., Studer, T.: Realizing public announcements by justifications. J. Comput. Syst. Sci. 80(6), 1046–1066 (2014)