Search the dblp DataBase
Sergei N. Artëmov :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Sergei N. Artëmov Operations on Proofs that can be Specified by Means of Modal Logic. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 1998, pp:59-72 [Conf ] Sergei N. Artëmov Existential Semantics for Modal Logic. [Citation Graph (0, 0)][DBLP ] We Will Show Them! (1), 2005, pp:19-30 [Conf ] Sergei N. Artëmov On Explicit Reflection in Theorem Proving and Formal Verification. [Citation Graph (0, 0)][DBLP ] CADE, 1999, pp:267-281 [Conf ] Sergei N. Artëmov Back to the Future: Explicit Logic for Computer Science (Invited Lecture). [Citation Graph (0, 0)][DBLP ] CSL, 2003, pp:43- [Conf ] Sergei N. Artëmov , Roman Kuznets Logical Omniscience Via Proof Complexity. [Citation Graph (0, 0)][DBLP ] CSL, 2006, pp:135-149 [Conf ] Sergei N. Artëmov , Tyko Straßen The Basic Logic of Proofs. [Citation Graph (0, 0)][DBLP ] CSL, 1992, pp:14-28 [Conf ] Jesse Alt , Sergei N. Artëmov Reflective lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Proof Theory in Computer Science, 2001, pp:22-37 [Conf ] Sergei N. Artëmov , Tyko Straßen The Logic of the Gödel Proof Predicate. [Citation Graph (0, 0)][DBLP ] Kurt Gödel Colloquium, 1993, pp:71-82 [Conf ] Sergei N. Artëmov , Jennifer M. Davoren , Anil Nerode Topological Semantics for Hybrid Systems. [Citation Graph (0, 0)][DBLP ] LFCS, 1997, pp:1-8 [Conf ] Sergei N. Artëmov , Vladimir Krupski Referential Data Structures and Labeled Modal Logic. [Citation Graph (0, 0)][DBLP ] LFCS, 1994, pp:23-33 [Conf ] Sergei N. Artëmov Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] TARK, 1990, pp:257-272 [Conf ] Sergei N. Artëmov , Elena Nogina On epistemic logic with justification. [Citation Graph (0, 0)][DBLP ] TARK, 2005, pp:279-294 [Conf ] Zofia Adamowicz , Sergei N. Artëmov , Damian Niwinski , Ewa Orowska , Anna Romanowska , Jan Wolenski Editorial. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2004, v:126, n:1-3, pp:3-4 [Journal ] Sergei N. Artëmov Logic of Proofs. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:29-59 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1995, v:75, n:1-2, pp:1- [Journal ] Sergei N. Artëmov , Vladimir Krupski Data Storage Interpretation of Labeled Modal Logic. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:57-71 [Journal ] Ruy J. G. B. de Queiroz , Bruno Poizat , Sergei N. Artëmov WoLLIC'2002. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2005, v:134, n:1, pp:1-4 [Journal ] Yuri Matiyasevich , Sergei N. Artëmov Preface. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2006, v:141, n:3, pp:307- [Journal ] Sergei N. Artëmov Explicit provability and constructive semantics. [Citation Graph (0, 0)][DBLP ] Bulletin of Symbolic Logic, 2001, v:7, n:1, pp:1-36 [Journal ] Sergei N. Artëmov Uniform provability realization of intuitionistic logic, modality and lambda-terms. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal ] Sergei N. Artëmov Realization of Intuitionistic Logic by Proof Polynomials. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1999, v:9, n:2-3, pp:- [Journal ] Sergei N. Artëmov , Giorgie Dzhaparidze Finite Kripke Models and Predicate Logics of Provability. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1990, v:55, n:3, pp:1090-1098 [Journal ] Sergei N. Artëmov , Franco Montagna On First-Order Theories with Provability Operator. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:4, pp:1139-1153 [Journal ] Sergei N. Artëmov , Elena Nogina Introducing Justification into Epistemic Logic. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2005, v:15, n:6, pp:1059-1073 [Journal ] Sergei N. Artëmov Justified common knowledge. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:357, n:1-3, pp:4-22 [Journal ] Sergei N. Artëmov , Michael W. Mislove Preface. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:357, n:1-3, pp:1-3 [Journal ] Sergei N. Artëmov , Eduardo Bonelli The Intensional Lambda Calculus. [Citation Graph (0, 0)][DBLP ] LFCS, 2007, pp:12-25 [Conf ] Symmetric Logic of Proofs. [Citation Graph (, )][DBLP ] Tracking Evidence. [Citation Graph (, )][DBLP ] Topological Semantics of Justification Logic. [Citation Graph (, )][DBLP ] Justification Logic. [Citation Graph (, )][DBLP ] Logical omniscience as a computational complexity problem. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Search in 0.026secs, Finished in 0.027secs