Sergei N. Artëmov

2009
35	EE	Sergei N. Artëmov, Anil Nerode: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings Springer 2009
2008
34	EE	Sergei N. Artëmov, Elena Nogina: Topological Semantics of Justification Logic. CSR 2008: 30-39
33	EE	Sergei N. Artëmov: Justification Logic. JELIA 2008: 1-4
32	EE	Sergei N. Artëmov: Symmetric Logic of Proofs. Pillars of Computer Science 2008: 58-71
31	EE	Sergei N. Artëmov, Volker Diekert, Dima Grigoriev: Foreword. Theory Comput. Syst. 43(2): 99 (2008)
2007
30		Sergei N. Artëmov, Anil Nerode: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings Springer 2007
29	EE	Sergei N. Artëmov, Eduardo Bonelli: The Intensional Lambda Calculus. LFCS 2007: 12-25
2006
28	EE	Sergei N. Artëmov, Roman Kuznets: Logical Omniscience Via Proof Complexity. CSL 2006: 135-149
27	EE	Yuri Matiyasevich, Sergei N. Artëmov: Preface. Ann. Pure Appl. Logic 141(3): 307 (2006)
26	EE	Sergei N. Artëmov, Michael W. Mislove: Preface. Theor. Comput. Sci. 357(1-3): 1-3 (2006)
25	EE	Sergei N. Artëmov: Justified common knowledge. Theor. Comput. Sci. 357(1-3): 4-22 (2006)
2005
24		Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods: We Will Show Them! Essays in Honour of Dov Gabbay, Volume One College Publications 2005
23		Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods: We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two College Publications 2005
22	EE	Sergei N. Artëmov, Elena Nogina: On epistemic logic with justification. TARK 2005: 279-294
21		Sergei N. Artëmov: Existential Semantics for Modal Logic. We Will Show Them! (1) 2005: 19-30
20	EE	Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov: WoLLIC'2002. Ann. Pure Appl. Logic 134(1): 1-4 (2005)
19	EE	Sergei N. Artëmov, Elena Nogina: Introducing Justification into Epistemic Logic. J. Log. Comput. 15(6): 1059-1073 (2005)
2004
18	EE	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)
2003
17	EE	Sergei N. Artëmov: Back to the Future: Explicit Logic for Computer Science (Invited Lecture). CSL 2003: 43
2001
16	EE	Jesse Alt, Sergei N. Artëmov: Reflective lambda-Calculus. Proof Theory in Computer Science 2001: 22-37
15	EE	Sergei N. Artëmov: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1): 1-36 (2001)
1999
14	EE	Sergei N. Artëmov: On Explicit Reflection in Theorem Proving and Formal Verification. CADE 1999: 267-281
13	EE	Sergei N. Artëmov: Uniform provability realization of intuitionistic logic, modality and lambda-terms. Electr. Notes Theor. Comput. Sci. 23(1): (1999)
12		Sergei N. Artëmov: Realization of Intuitionistic Logic by Proof Polynomials. Journal of Applied Non-Classical Logics 9(2-3): (1999)
1998
11		Sergei N. Artëmov: Operations on Proofs that can be Specified by Means of Modal Logic. Advances in Modal Logic 1998: 59-72
1997
10		Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode: Topological Semantics for Hybrid Systems. LFCS 1997: 1-8
1996
9		Sergei N. Artëmov, Vladimir Krupski: Data Storage Interpretation of Labeled Modal Logic. Ann. Pure Appl. Logic 78(1-3): 57-71 (1996)
1995
8		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)
1994
7		Sergei N. Artëmov, Vladimir Krupski: Referential Data Structures and Labeled Modal Logic. LFCS 1994: 23-33
6		Sergei N. Artëmov: Logic of Proofs. Ann. Pure Appl. Logic 67(1-3): 29-59 (1994)
5		Sergei N. Artëmov, Franco Montagna: On First-Order Theories with Provability Operator. J. Symb. Log. 59(4): 1139-1153 (1994)
1993
4		Sergei N. Artëmov, Tyko Straßen: The Logic of the Gödel Proof Predicate. Kurt Gödel Colloquium 1993: 71-82
1992
3		Sergei N. Artëmov, Tyko Straßen: The Basic Logic of Proofs. CSL 1992: 14-28
1990
2		Sergei N. Artëmov: Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic. TARK 1990: 257-272
1		Sergei N. Artëmov, Giorgie Dzhaparidze: Finite Kripke Models and Predicate Logics of Provability. J. Symb. Log. 55(3): 1090-1098 (1990)

Coauthor Index

1	Zofia Adamowicz	[18]
2	Jesse Alt	[16]
3	Howard Barringer	[23] [24]
4	Eduardo Bonelli	[29]
5	George Boolos	[8]
6	Jennifer M. Davoren	[10]
7	Volker Diekert	[31]
8	Giorgie Dzhaparidze	[1]
9	Erwin Engeler	[8]
10	Solomon Feferman	[8]
11	Artur S. d'Avila Garcez	[23] [24]
12	Dima Grigoriev	[31]
13	Gerhard Jäger	[8]
14	Vladimir Krupski	[7] [9]
15	Roman Kuznets	[28]
16	Luís C. Lamb (Luís da Cunha Lamb)	[23] [24]
17	Yuri Matiyasevich	[27]
18	Michael W. Mislove	[26]
19	Franco Montagna	[5]
20	Anil Nerode	[10] [30] [35]
21	Damian Niwinski	[18]
22	Elena Nogina	[19] [22] [34]
23	Ewa Orlowska	[18]
24	Bruno Poizat	[20]
25	Ruy J. G. B. de Queiroz	[20]
26	Anna B. Romanowska	[18]
27	Tyko Straßen	[3] [4]
28	Albert Visser	[8]
29	Jan Wolenski	[18]
30	John Woods	[23] [24]

Colors in the list of coauthors