Sergei N. Artëmov

Publication Activity (10 Years)

Years Active: 1990-2021
Publications (10 Years): 11

Top Topics

Logical Representation

Epistemic Logic

Top Venues

J. Log. Comput.

Ann. Pure Appl. Log.

Publications

Sergei N. Artëmov, Anil Nerode
Editorial. J. Log. Comput. 31 (1) (2021)
Sergei N. Artëmov
Justification awareness. J. Log. Comput. 30 (8) (2020)
Sergei N. Artëmov
Observable Models. LFCS (2020)
Sergei N. Artëmov, Anil Nerode
Editorial. J. Log. Comput. 30 (8) (2020)
Sergei N. Artëmov, Anil Nerode
Special Issue on Logical Foundations of Computer Science. J. Log. Comput. 30 (1) (2020)
Sergei N. Artëmov
On aggregating probabilistic evidence. J. Log. Comput. 30 (1) (2020)
Sergei N. Artëmov
Justification Awareness Models. LFCS (2018)
Sergei N. Artëmov
Epistemic Modeling with Justifications. CoRR (2017)
Sergei N. Artëmov, Tudor Protopopescu
Intuitionistic Epistemic Logic. Rev. Symb. Log. 9 (2) (2016)
Sergei N. Artëmov, Tatiana Yavorskaya
Binding modalities. J. Log. Comput. 26 (1) (2016)
Sergei N. Artëmov
On Aggregating Probabilistic Evidence. LFCS (2016)
Sergei N. Artëmov, Roman Kuznets
Logical omniscience as infeasibility. Ann. Pure Appl. Log. 165 (1) (2014)
Sergei N. Artëmov, Tudor Protopopescu
Discovering knowability: a semantic analysis. Synth. 190 (16) (2013)
Sergei N. Artëmov
The Ontology of Justifications in the Logical Setting. Stud Logica 100 (1-2) (2012)
Sergei N. Artëmov, Anil Nerode
Preface. Ann. Pure Appl. Log. 163 (7) (2012)
Sergei N. Artëmov
Tracking Evidence. Fields of Logic and Computation (2010)
Sergei N. Artëmov, Volker Diekert, Dima Grigoriev
Preface. Theory Comput. Syst. 46 (1) (2010)
Sergei N. Artëmov, Yuri V. Matiyasevich, Grigori Mints, Anatol Slissenko
Preface. Ann. Pure Appl. Log. 162 (3) (2010)
Sergei N. Artëmov, Volker Diekert, Alexander A. Razborov
Preface. Theory Comput. Syst. 46 (4) (2010)
Sergei N. Artëmov, Roman Kuznets
Logical omniscience as a computational complexity problem. TARK (2009)
Sergei N. Artëmov
Preface. Ann. Pure Appl. Log. 161 (2) (2009)
Sergei N. Artëmov
Preface. Ann. Pure Appl. Log. 161 (3) (2009)
Sergei N. Artëmov
The Logic of Justification. Rev. Symb. Log. 1 (4) (2008)
Sergei N. Artëmov
Symmetric Logic of Proofs. Pillars of Computer Science (2008)
Sergei N. Artëmov
Justification Logic. JELIA (2008)
Sergei N. Artëmov, Elena Nogina
Topological Semantics of Justification Logic. CSR (2008)
Sergei N. Artëmov, Volker Diekert, Dima Grigoriev
Foreword. Theory Comput. Syst. 43 (2) (2008)
Sergei N. Artëmov, Rosalie Iemhoff
The basic intuitionistic logic of proofs. J. Symb. Log. 72 (2) (2007)
Sergei N. Artëmov, Eduardo Bonelli
The Intensional Lambda Calculus. LFCS (2007)
Sergei N. Artëmov, Roman Kuznets
Logical Omniscience Via Proof Complexity. CSL (2006)
Yuri V. Matiyasevich, Sergei N. Artëmov
Preface. Ann. Pure Appl. Log. 141 (3) (2006)
Sergei N. Artëmov
Justified common knowledge. Theor. Comput. Sci. 357 (1-3) (2006)
Sergei N. Artëmov, Michael W. Mislove
Preface. Theor. Comput. Sci. 357 (1-3) (2006)
Sergei N. Artëmov
Existential Semantics for Modal Logic. We Will Show Them! (1) (2005)
Sergei N. Artëmov, Elena Nogina
Introducing Justification into Epistemic Logic. J. Log. Comput. 15 (6) (2005)
Sergei N. Artëmov, Elena Nogina
On epistemic logic with justification. TARK (2005)
Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov
WoLLIC'2002. Ann. Pure Appl. Log. 134 (1) (2005)
Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski
Editorial. Ann. Pure Appl. Log. 126 (1-3) (2004)
Sergei N. Artëmov
Back to the Future: Explicit Logic for Computer Science (Invited Lecture). CSL (2003)
Jesse Alt, Sergei N. Artëmov
Reflective lambda-Calculus. Proof Theory in Computer Science (2001)
Sergei N. Artëmov
Explicit provability and constructive semantics. Bull. Symb. Log. 7 (1) (2001)
Sergei N. Artëmov
Uniform provability realization of intuitionistic logic, modality and lambda-terms. Electron. Notes Theor. Comput. Sci. 23 (1) (1999)
Sergei N. Artëmov
Realization of Intuitionistic Logic by Proof Polynomials. J. Appl. Non Class. Logics 9 (2-3) (1999)
Sergei N. Artëmov
On Explicit Reflection in Theorem Proving and Formal Verification. CADE (1999)
Sergei N. Artëmov
Operations on Proofs that can be Specified by Means of Modal Logic. Advances in Modal Logic (1998)
Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode
Topological Semantics for Hybrid Systems. LFCS (1997)
Sergei N. Artëmov, Vladimir Krupski
Data Storage Interpretation of Labeled Modal Logic. Ann. Pure Appl. Log. 78 (1-3) (1996)
Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser
Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. Ann. Pure Appl. Log. 75 (1-2) (1995)
Sergei N. Artëmov, Vladimir Krupski
Referential Data Structures and Labeled Modal Logic. LFCS (1994)
Sergei N. Artëmov, Franco Montagna
On First-Order Theories with Provability Operator. J. Symb. Log. 59 (4) (1994)
Sergei N. Artëmov
Logic of Proofs. Ann. Pure Appl. Log. 67 (1-3) (1994)
Sergei N. Artëmov, Lev D. Beklemishev
On propositional quantifiers in provability logic. Notre Dame J. Formal Log. 34 (3) (1993)
Sergei N. Artëmov, Tyko Straßen
The Logic of the Gödel Proof Predicate. Kurt Gödel Colloquium (1993)
Sergei N. Artëmov, Tyko Straßen
The Basic Logic of Proofs. CSL (1992)
Sergei N. Artëmov, Giorgie Dzhaparidze
Finite Kripke Models and Predicate Logics of Provability. J. Symb. Log. 55 (3) (1990)
Sergei N. Artëmov
Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic. TARK (1990)