Artemov, Sergei; Protopopescu, Tudor Intuitionistic epistemic logic. (English) Zbl 1408.03004 Rev. Symb. Log. 9, No. 2, 266-298 (2016). MSC: 03B20 03B42 PDFBibTeX XMLCite \textit{S. Artemov} and \textit{T. Protopopescu}, Rev. Symb. Log. 9, No. 2, 266--298 (2016; Zbl 1408.03004) Full Text: DOI arXiv
Artemov, Sergei The logic of justification. (English) Zbl 1205.03027 Rev. Symb. Log. 1, No. 4, 477-513 (2008). MSC: 03B42 03B45 PDFBibTeX XMLCite \textit{S. Artemov}, Rev. Symb. Log. 1, No. 4, 477--513 (2008; Zbl 1205.03027) Full Text: DOI