Sergei N. Artëmov

	2012
46		Sergei N. Artëmov, Anil Nerode: Preface. Ann. Pure Appl. Logic 163(7): 743-744 (2012)
45		Sergei N. Artëmov: The Ontology of Justifications in the Logical Setting. Studia Logica 100(1-2): 17-30 (2012)
	2010
44		Sergei N. Artëmov: Tracking Evidence. Fields of Logic and Computation 2010: 61-74
43		Sergei N. Artëmov, Yuri Matiyasevich, Grigori Mints, Anatol Slissenko: Preface. Ann. Pure Appl. Logic 162(3): 173-174 (2010)
42		Sergei N. Artëmov, Volker Diekert, Dima Grigoriev: Preface. Theory Comput. Syst. 46(1): 1 (2010)
41		Sergei N. Artëmov, Volker Diekert, Alexander A. Razborov: Preface. Theory Comput. Syst. 46(4): 619 (2010)
	2009
40		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
39		Sergei N. Artëmov, Roman Kuznets: Logical omniscience as a computational complexity problem. TARK 2009: 14-23
38		Sergei N. Artëmov: Preface. Ann. Pure Appl. Logic 161(2): 119-120 (2009)
37		Sergei N. Artëmov: Preface. Ann. Pure Appl. Logic 161(3): 251-252 (2009)
	2008
36		Sergei N. Artëmov, Elena Nogina: Topological Semantics of Justification Logic. CSR 2008: 30-39
35		Sergei N. Artëmov: Justification Logic. JELIA 2008: 1-4
34		Sergei N. Artëmov: Symmetric Logic of Proofs. Pillars of Computer Science 2008: 58-71
33		Sergei N. Artëmov, Volker Diekert, Dima Grigoriev: Foreword. Theory Comput. Syst. 43(2): 99 (2008)
	2007
32		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
31		Sergei N. Artëmov, Eduardo Bonelli: The Intensional Lambda Calculus. LFCS 2007: 12-25
30		Sergei N. Artëmov, Rosalie Iemhoff: The basic intuitionistic logic of proofs. J. Symb. Log. 72(2): 439-451 (2007)
	2006
29		Sergei N. Artëmov, Roman Kuznets: Logical Omniscience Via Proof Complexity. CSL 2006: 135-149
28		Yuri Matiyasevich, Sergei N. Artëmov: Preface. Ann. Pure Appl. Logic 141(3): 307 (2006)
27		Sergei N. Artëmov, Michael W. Mislove: Preface. Theor. Comput. Sci. 357(1-3): 1-3 (2006)
26		Sergei N. Artëmov: Justified common knowledge. Theor. Comput. Sci. 357(1-3): 4-22 (2006)
	2005
25		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
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 Two College Publications 2005
23		Sergei N. Artëmov, Elena Nogina: On epistemic logic with justification. TARK 2005: 279-294
22		Sergei N. Artëmov: Existential Semantics for Modal Logic. We Will Show Them! (1) 2005: 19-30
21		Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov: WoLLIC'2002. Ann. Pure Appl. Logic 134(1): 1-4 (2005)
20		Sergei N. Artëmov, Elena Nogina: Introducing Justification into Epistemic Logic. J. Log. Comput. 15(6): 1059-1073 (2005)
	2004
19		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
18		Sergei N. Artëmov: Back to the Future: Explicit Logic for Computer Science (Invited Lecture). CSL 2003: 43
	2001
17		Jesse Alt, Sergei N. Artëmov: Reflective lambda-Calculus. Proof Theory in Computer Science 2001: 22-37
16		Sergei N. Artëmov: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1): 1-36 (2001)
	1999
15		Sergei N. Artëmov: On Explicit Reflection in Theorem Proving and Formal Verification. CADE 1999: 267-281
14		Sergei N. Artëmov: Uniform provability realization of intuitionistic logic, modality and lambda-terms. Electr. Notes Theor. Comput. Sci. 23(1): 3-12 (1999)
13		Sergei N. Artëmov: Realization of Intuitionistic Logic by Proof Polynomials. Journal of Applied Non-Classical Logics 9(2-3): (1999)
	1998
12		Sergei N. Artëmov: Operations on Proofs that can be Specified by Means of Modal Logic. Advances in Modal Logic 1998: 59-72
	1997
11		Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode: Topological Semantics for Hybrid Systems. LFCS 1997: 1-8
	1996
10		Sergei N. Artëmov, Vladimir Krupski: Data Storage Interpretation of Labeled Modal Logic. Ann. Pure Appl. Logic 78(1-3): 57-71 (1996)
	1995
9		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
8		Sergei N. Artëmov, Vladimir Krupski: Referential Data Structures and Labeled Modal Logic. LFCS 1994: 23-33
7		Sergei N. Artëmov: Logic of Proofs. Ann. Pure Appl. Logic 67(1-3): 29-59 (1994)
6		Sergei N. Artëmov, Franco Montagna: On First-Order Theories with Provability Operator. J. Symb. Log. 59(4): 1139-1153 (1994)
	1993
5		Sergei N. Artëmov, Tyko Straßen: The Logic of the Gödel Proof Predicate. Kurt Gödel Colloquium 1993: 71-82
4		Sergei N. Artëmov, Lev D. Beklemishev: On propositional quantifiers in provability logic. Notre Dame Journal of Formal Logic 34(3): 401-419 (1993)
	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	[19]
2	Jesse Alt	[17]
3	Howard Barringer	[24] [25]
4	Lev D. Beklemishev	[4]
5	Eduardo Bonelli	[31]
6	George Boolos	[9]
7	Jennifer M. Davoren	[11]
8	Volker Diekert	[33] [41] [42]
9	Giorgie Dzhaparidze	[1]
10	Erwin Engeler	[9]
11	Solomon Feferman	[9]
12	Artur S. d'Avila Garcez	[24] [25]
13	Dima Grigoriev	[33] [42]
14	Rosalie Iemhoff	[30]
15	Gerhard Jäger	[9]
16	Vladimir Krupski	[8] [10]
17	Roman Kuznets	[29] [39]
18	Luís C. Lamb (Luís da Cunha Lamb)	[24] [25]
19	Yuri Matiyasevich	[28] [43]
20	Grigori Mints	[43]
21	Michael W. Mislove	[27]
22	Franco Montagna	[6]
23	Anil Nerode	[11] [32] [40] [46]
24	Damian Niwinski	[19]
25	Elena Nogina	[20] [23] [36]
26	Ewa Orlowska	[19]
27	Bruno Poizat	[21]
28	Ruy J. G. B. de Queiroz	[21]
29	Alexander A. Razborov	[41]
30	Anna B. Romanowska	[19]
31	Anatol Slissenko	[43]
32	Tyko Straßen	[3] [5]
33	Albert Visser	[9]
34	Jan Wolenski	[19]
35	John Woods	[24] [25]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page