1. Artemov, S. N., & Fitting, M. (2011, revised 2015). Justification logic. Retrieved from http://plato.stanford.edu/entries/logic-justification/
2. Artemov, S. N., & Fitting, M. (2019). Justification logic: Reasoning with reasons. Cambridge Tracts in Mathematics. Cambridge: Cambridge University Press.
3. Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press.
4. Boolos, G. (1979). The unprovability of consistency. Cambridge: Cambridge University Press.
5. Boolos, G. (1993). The logic of provability. Cambridge: Cambridge University Press. Paperback 1995.