Publisher
Springer International Publishing
Reference25 articles.
1. Artemov, S. (2001). Explicit provability and constructive semantics. Bulletin of Symbolic Logic, 7(1), 1–36.
2. Artemov, S. (2008). The logic of justification. Review of Symbolic Logic.
3. Artemov, S. (2012). The ontology of justifications in the logical setting. Studia Logica, 1–14. 10.1007/s11225-012-9387-x.
4. Artemov, S. (2017). Epistemic modeling with justifications. arXiv: 1703.07028v2 [cs.LO].
5. Artemov, S., & Fitting, M. (2012). Justification logic. In E.N. Zalta (Ed.), The Stanford encyclopedia of philosophy, Fall 2012.