- Evidence-Based Common Knowledge (Technical Report TR-2004018 CUNY Ph.D. Program in Computer Science, revised version)
- Operations on proofs that can be specified by means of modal logic
- Deep isomorphism of modal derivations and -terms
- Data storage interpretation of labeled modal logic \Lambda
- Logic of knowledge with justifications from the provability perspective.
- Logic of Proofs: a Unified Semantics for Modality and terms \Lambda
- Russian Math. Surveys 59:2 203--229 c #2004 RAS(DoM) and LMS
- Operational modal logic \Lambda Sergei N. Artemov y
- Understanding Constructive Semantics (Spinoza Lecture)
- On Explicit Re ection in Theorem Proving and Formal Veri cation
- Annals of Pure and Applied Logic 126 (2004) 34 www.elsevier.com/locate/apal
- .59 .2(356), -, 2004 : 510.23, 510.24, 510.25, 510.642, 510.648, 510.652.
- ESSLLI'03 & CSL'03. Vienna, August 26, 2003 Back to the Future
- Logic of knowledge with justi cations S. Artemov E. Kazakov & D. Shapiro
- Logic of Proofs \Lambda Sergei Artemov
- Back to the Future: Explicit Logic for Computer Sergei Artemov #
- Re ective -calculus Jesse Alt and Sergei Artemov ?
- MOSCOW MATHEMATICAL JOURNAL Volume 1, Number 4, OctoberDecember 2001, Pages 475490
- Explicit Modal Logic Sergei N. Artemov \Lambda
- Workshop on Realizability Preliminary Version Uniform provability realization of
- The Basic Intuitionistic Logic of Proofs Sergei Artemov Rosalie Iemhoff
- Basic systems of epistemic logic with justification Sergei Artemov Elena Nogina
- Proof realizations of typed calculi Sergei N. Artemov \Lambda
- Proof Realization of Intuitionistic and Modal Logics Sergei N. Artemov \Lambda
- SERGEI N. ARTEMOV & LEV D. BEKLEMISHEV PROVABILITY LOGIC
- Unified Semantics for Modality and terms via Proof Polynomials \Lambda
- Modal Logics and Topological Semantics for Hybrid Systems
- Explicit provability: the intended semantics for intuitionistic and modal logic \Lambda
- positions): transistor,
