1. Artemov, Sergei, and Melvin Fitting. 2019. Justification logic: reasoning with reasons. Cambridge tracts in mathematics book 216. Cambridge: Cambridge University Press.
2. Artemov, Sergei N. 2001. Explicit Provability and Constructive Semantics. Bulletin of Symbolic Logic 7 (1): 1–36.
3. Artemov, Sergei N., and Melvin C. Fitting. 2011. Justification logic. In ed. Edward N. Zalta. Revised 2015.
http://plato.stanford.edu/entries/logic-justification/
.
4. Artemov, Sergei N., and Tatiana Yavorskaya (Sidon). 2011. First-order logic of proofs. Technical report, TR-2011005. City University of New York.
5. Artemov, Sergei N., and Tatiana Yavorskaya (Sidon). 2012. Binding modalities. Technical report, TR-2012011. City University of New York.