1. Artemov, S.: Extensions of arithmetic and modal logics (in Russian). Ph.D. Thesis, Moscow State University, Steklov Mathematical Institute (1979)
2. Artemov, S.: Operational modal logic. Technical report MSI 95–29, Cornell University (1995)
3. Artemov, S.: Explicit provability and constructive semantics. Bull. Symb. Log. 7(1), 1–36 (2001)
4. Artemov, S.: The Provability of Consistency. arXiv preprint
arXiv:1902.07404
(2019)
5. Handbook of Philosophical Logic;S Artemov,2005