The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sergei N. Artëmov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Sergei N. Artëmov
    Existential Semantics for Modal Logic. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:19-30 [Conf]
  3. Sergei N. Artëmov
    On Explicit Reflection in Theorem Proving and Formal Verification. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:267-281 [Conf]
  4. 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]
  5. Sergei N. Artëmov, Roman Kuznets
    Logical Omniscience Via Proof Complexity. [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:135-149 [Conf]
  6. Sergei N. Artëmov, Tyko Straßen
    The Basic Logic of Proofs. [Citation Graph (0, 0)][DBLP]
    CSL, 1992, pp:14-28 [Conf]
  7. Jesse Alt, Sergei N. Artëmov
    Reflective lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Proof Theory in Computer Science, 2001, pp:22-37 [Conf]
  8. 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]
  9. 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]
  10. Sergei N. Artëmov, Vladimir Krupski
    Referential Data Structures and Labeled Modal Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:23-33 [Conf]
  11. 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]
  12. Sergei N. Artëmov, Elena Nogina
    On epistemic logic with justification. [Citation Graph (0, 0)][DBLP]
    TARK, 2005, pp:279-294 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. Yuri Matiyasevich, Sergei N. Artëmov
    Preface. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:3, pp:307- [Journal]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Sergei N. Artëmov, Eduardo Bonelli
    The Intensional Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:12-25 [Conf]

  28. Symmetric Logic of Proofs. [Citation Graph (, )][DBLP]


  29. Tracking Evidence. [Citation Graph (, )][DBLP]


  30. Topological Semantics of Justification Logic. [Citation Graph (, )][DBLP]


  31. Justification Logic. [Citation Graph (, )][DBLP]


  32. Logical omniscience as a computational complexity problem. [Citation Graph (, )][DBLP]


  33. Preface. [Citation Graph (, )][DBLP]


  34. Preface. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002