Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic. - Sergei N. Artëmov (TARK, 1990)

Finite Kripke Models and Predicate Logics of Provability. - Sergei N. Artëmov; Giorgie Dzhaparidze (J. Symb. Log., 1990)

The Basic Logic of Proofs. - Sergei N. Artëmov; Tyko Straßen (CSL, 1992)

The Logic of the Gödel Proof Predicate. - Sergei N. Artëmov; Tyko Straßen (Kurt Gödel Colloquium, 1993)

On propositional quantifiers in provability logic. - Sergei N. Artëmov; Lev D. Beklemishev (Notre Dame J. Formal Log., 1993)

Referential Data Structures and Labeled Modal Logic. - Sergei N. Artëmov; Vladimir Krupski (LFCS, 1994)

Logic of Proofs. - Sergei N. Artëmov (Ann. Pure Appl. Log., 1994)

On First-Order Theories with Provability Operator. - Sergei N. Artëmov; Franco Montagna (J. Symb. Log., 1994)

Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. - Sergei N. Artëmov; George Boolos; Erwin Engeler; Solomon Feferman; Gerhard Jäger; Albert Visser (Ann. Pure Appl. Log., 1995)

Data Storage Interpretation of Labeled Modal Logic. - Sergei N. Artëmov; Vladimir Krupski (Ann. Pure Appl. Log., 1996)

Topological Semantics for Hybrid Systems. - Sergei N. Artëmov; Jennifer M. Davoren; Anil Nerode (LFCS, 1997)

Operations on Proofs that can be Specified by Means of Modal Logic. - Sergei N. Artëmov (Advances in Modal Logic, 1998)

On Explicit Reflection in Theorem Proving and Formal Verification. - Sergei N. Artëmov (CADE, 1999)

Uniform provability realization of intuitionistic logic, modality and lambda-terms. - Sergei N. Artëmov (Realizability Semantics and Applications@FLoC, 1999)

Realization of Intuitionistic Logic by Proof Polynomials. - Sergei N. Artëmov (J. Appl. Non Class. Logics, 1999)

Reflective lambda-Calculus. - Jesse Alt; Sergei N. Artëmov (Proof Theory in Computer Science, 2001)

Explicit provability and constructive semantics. - Sergei N. Artëmov (Bull. Symb. Log., 2001)

Back to the Future: Explicit Logic for Computer Science (Invited Lecture). - Sergei N. Artëmov (CSL, 2003)

Editorial. - Zofia Adamowicz; Sergei N. Artëmov; Damian Niwinski; Ewa Orlowska; Anna B. Romanowska; Jan Wolenski (Ann. Pure Appl. Log., 2004)

Existential Semantics for Modal Logic. - Sergei N. Artëmov (We Will Show Them! (1), 2005)

On epistemic logic with justification. - Sergei N. Artëmov; Elena Nogina (TARK, 2005)

WoLLIC'2002. - Ruy J. G. B. de Queiroz; Bruno Poizat; Sergei N. Artëmov (Ann. Pure Appl. Log., 2005)

Introducing Justification into Epistemic Logic. - Sergei N. Artëmov; Elena Nogina (J. Log. Comput., 2005)

Logical Omniscience Via Proof Complexity. - Sergei N. Artëmov; Roman Kuznets (CSL, 2006)

Preface. - Yuri V. Matiyasevich; Sergei N. Artëmov (Ann. Pure Appl. Log., 2006)

Justified common knowledge. - Sergei N. Artëmov (Theor. Comput. Sci., 2006)

Preface. - Sergei N. Artëmov; Michael W. Mislove (Theor. Comput. Sci., 2006)

Modal logic in mathematics. - Sergei N. Artëmov (Handbook of Modal Logic, 2007)

The Intensional Lambda Calculus. - Sergei N. Artëmov; Eduardo Bonelli (LFCS, 2007)

The basic intuitionistic logic of proofs. - Sergei N. Artëmov; Rosalie Iemhoff (J. Symb. Log., 2007)

Symmetric Logic of Proofs. - Sergei N. Artëmov (Pillars of Computer Science, 2008)

Topological Semantics of Justification Logic. - Sergei N. Artëmov; Elena Nogina (CSR, 2008)

Justification Logic. - Sergei N. Artëmov (JELIA, 2008)

Foreword. - Sergei N. Artëmov; Volker Diekert; Dima Grigoriev (Theory Comput. Syst., 2008)

The Logic of Justification. - Sergei N. Artëmov (Rev. Symb. Log., 2008)

Logical omniscience as a computational complexity problem. - Sergei N. Artëmov; Roman Kuznets (TARK, 2009)

Preface. - Sergei N. Artëmov (Ann. Pure Appl. Log., 2009)

Tracking Evidence. - Sergei N. Artëmov (Fields of Logic and Computation, 2010)

Preface. - Sergei N. Artëmov; Yuri V. Matiyasevich; Grigori Mints; Anatol Slissenko (Ann. Pure Appl. Log., 2010)

Preface. - Sergei N. Artëmov; Volker Diekert; Dima Grigoriev (Theory Comput. Syst., 2010)

Preface. - Sergei N. Artëmov; Volker Diekert; Alexander A. Razborov (Theory Comput. Syst., 2010)

Preface. - Sergei N. Artëmov; Anil Nerode (Ann. Pure Appl. Log., 2012)

The Ontology of Justifications in the Logical Setting. - Sergei N. Artëmov (Stud Logica, 2012)

Discovering knowability: a semantic analysis. - Sergei N. Artëmov; Tudor Protopopescu (Synth., 2013)

On Definitive Solutions of Strategic Games. - Sergei N. Artëmov (Johan van Benthem on Logic and Information Dynamics, 2014)

Logical omniscience as infeasibility. - Sergei N. Artëmov; Roman Kuznets (Ann. Pure Appl. Log., 2014)

Binding modalities. - Sergei N. Artëmov; Tatiana Yavorskaya (J. Log. Comput., 2016)

Intuitionistic Epistemic Logic. - Sergei N. Artëmov; Tudor Protopopescu (Rev. Symb. Log., 2016)

Epistemic Modeling with Justifications. - Sergei N. Artëmov (CoRR, 2017)

Justification Awareness Models. - Sergei N. Artëmov (LFCS, 2018)

Observable Models. - Sergei N. Artëmov (LFCS, 2020)

On aggregating probabilistic evidence. - Sergei N. Artëmov (J. Log. Comput., 2020)

Justification awareness. - Sergei N. Artëmov (J. Log. Comput., 2020)

Special Issue on Logical Foundations of Computer Science. - Sergei N. Artëmov; Anil Nerode (J. Log. Comput., 2020)

Preface to Intiutionistic Modal Logic 2017. - Valeria de Paiva; Sergei Artemov (FLAP, 2021)

Towards Syntactic Epistemic Logic. - Sergei Artemov (Fundam. Informaticae, 2022)

Editorial. - Sergei Artemov; Anil Nerode (J. Log. Comput., 2022)

SAUL KRIPKE (1940-2022). - Sergei Artemov; John P. Burgess; Melvin Fitting; Anandi Hattiangadi (Bull. Symb. Log., 2024)

Serial properties, selector proofs and the provability of consistency. - Sergei Artemov (J. Log. Comput., 2025)