Sergei N. Artëmov

Sergei N. Artëmov, Anil Nerode (Eds.): Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Lecture Notes in Computer Science 7734, Springer 2013, isbn 978-3-642-35721-3

Sergei N. Artëmov, Anil Nerode: Preface. Ann. Pure Appl. Logic 163(7): 743-744 (2012)

Sergei N. Artëmov: The Ontology of Justifications in the Logical Setting. Studia Logica 100(1-2): 17-30 (2012)

Sergei N. Artëmov, Yuri Matiyasevich, Grigori Mints, Anatol Slissenko: Preface. Ann. Pure Appl. Logic 162(3): 173-174 (2010)

Sergei N. Artëmov, Volker Diekert, Dima Grigoriev: Preface. Theory Comput. Syst. 46(1): 1 (2010)

Sergei N. Artëmov, Volker Diekert, Alexander A. Razborov: Preface. Theory Comput. Syst. 46(4): 619 (2010)

Sergei N. Artëmov: Tracking Evidence. Fields of Logic and Computation 2010: 61-74

Sergei N. Artëmov: Preface. Ann. Pure Appl. Logic 161(2): 119-120 (2009)

Sergei N. Artëmov: Preface. Ann. Pure Appl. Logic 161(3): 251-252 (2009)

Sergei N. Artëmov, Roman Kuznets: Logical omniscience as a computational complexity problem. TARK 2009: 14-23

Sergei N. Artëmov, Anil Nerode (Eds.): Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science 5407, Springer 2009, isbn 978-3-540-92686-3

Sergei N. Artëmov, Volker Diekert, Dima Grigoriev: Foreword. Theory Comput. Syst. 43(2): 99 (2008)

Sergei N. Artëmov: Symmetric Logic of Proofs. Pillars of Computer Science 2008: 58-71

Sergei N. Artëmov, Elena Nogina: Topological Semantics of Justification Logic. CSR 2008: 30-39

Sergei N. Artëmov: Justification Logic. JELIA 2008: 1-4

Sergei N. Artëmov, Rosalie Iemhoff: The basic intuitionistic logic of proofs. J. Symb. Log. 72(2): 439-451 (2007)

Sergei N. Artëmov, Eduardo Bonelli: The Intensional Lambda Calculus. LFCS 2007: 12-25

Sergei N. Artëmov, Anil Nerode (Eds.): Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings. Lecture Notes in Computer Science 4514, Springer 2007, isbn 978-3-540-72732-3

Yuri Matiyasevich, Sergei N. Artëmov: Preface. Ann. Pure Appl. Logic 141(3): 307 (2006)

Sergei N. Artëmov, Michael W. Mislove: Preface. Theor. Comput. Sci. 357(1-3): 1-3 (2006)

Sergei N. Artëmov: Justified common knowledge. Theor. Comput. Sci. 357(1-3): 4-22 (2006)

Sergei N. Artëmov, Roman Kuznets: Logical Omniscience Via Proof Complexity. CSL 2006: 135-149

Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov: WoLLIC'2002. Ann. Pure Appl. Logic 134(1): 1-4 (2005)

Sergei N. Artëmov, Elena Nogina: Introducing Justification into Epistemic Logic. J. Log. Comput. 15(6): 1059-1073 (2005)

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

Sergei N. Artëmov, Elena Nogina: On epistemic logic with justification. TARK 2005: 279-294

Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods (Eds.): We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. College Publications 2005, isbn 1-904987-25-7

Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods (Eds.): We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two. College Publications 2005, isbn 1-904987-26-5

Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski: Editorial. Ann. Pure Appl. Logic 126(1-3): 3-4 (2004)

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

Sergei N. Artëmov: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1): 1-36 (2001)

Jesse Alt, Sergei N. Artëmov: Reflective lambda-Calculus. Proof Theory in Computer Science 2001: 22-37

Sergei N. Artëmov: Uniform provability realization of intuitionistic logic, modality and lambda-terms. Electr. Notes Theor. Comput. Sci. 23(1): 3-12 (1999)

Sergei N. Artëmov: Realization of Intuitionistic Logic by Proof Polynomials. Journal of Applied Non-Classical Logics 9(2-3): 285-301 (1999)

Sergei N. Artëmov: On Explicit Reflection in Theorem Proving and Formal Verification. CADE 1999: 267-281

Sergei N. Artëmov: Operations on Proofs that can be Specified by Means of Modal Logic. Advances in Modal Logic 1998: 59-72

Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode: Topological Semantics for Hybrid Systems. LFCS 1997: 1-8

Sergei N. Artëmov, Vladimir Krupski: Data Storage Interpretation of Labeled Modal Logic. Ann. Pure Appl. Logic 78(1-3): 57-71 (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. Logic 75(1-2): 1 (1995)

Sergei N. Artëmov: Logic of Proofs. Ann. Pure Appl. Logic 67(1-3): 29-59 (1994)

Sergei N. Artëmov, Franco Montagna: On First-Order Theories with Provability Operator. J. Symb. Log. 59(4): 1139-1153 (1994)

Sergei N. Artëmov, Vladimir Krupski: Referential Data Structures and Labeled Modal Logic. LFCS 1994: 23-33

Sergei N. Artëmov, Lev D. Beklemishev: On propositional quantifiers in provability logic. Notre Dame Journal of Formal Logic 34(3): 401-419 (1993)

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

Sergei N. Artëmov, Tyko Straßen: The Basic Logic of Proofs. CSL 1992: 14-28

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

Sergei N. Artëmov: Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic. TARK 1990: 257-272