All Stories

  1. Towards Syntactic Epistemic Logic

    Article • Fundamenta Informaticae, August 2022, IOS Press

    Dr Sergei N Artemov

  2. INTUITIONISTIC EPISTEMIC LOGIC

    Article • The Review of Symbolic Logic, March 2016, Cambridge University Press

    Dr Sergei N Artemov

  3. Logical Foundations of Computer Science

    Article • January 2016, Springer Science + Business Media

    Dr Sergei N Artemov

  4. On Aggregating Probabilistic Evidence

    Article • December 2015, Springer Science + Business Media

    Dr Sergei N Artemov

  5. Logical omniscience as infeasibility

    Article • Annals of Pure and Applied Logic, January 2014, Elsevier

    Dr Sergei N Artemov

  6. On Definitive Solutions of Strategic Games

    Article • January 2014, Springer Science + Business Media

    Dr Sergei N Artemov

  7. Binding modalities

    Article • Journal of Logic and Computation, October 2013, Oxford University Press (OUP)

    Dr Sergei N Artemov

  8. Logical Foundations of Computer Science

    Article • January 2013, Springer Science + Business Media

    Dr Sergei N Artemov

  9. Discovering knowability: a semantic analysis

    Article • Synthese, August 2012, Springer Science + Business Media

    Dr Sergei N Artemov

  10. Preface

    Article • Annals of Pure and Applied Logic, July 2012, Elsevier

    Dr Sergei N Artemov

  11. The Ontology of Justifications in the Logical Setting

    Article • Studia Logica, February 2012, Springer Science + Business Media

    Dr Sergei N Artemov

  12. Why Do We Need Justification Logic?

    Article • January 2011, Springer Science + Business Media

    Dr Sergei N Artemov

  13. Preface

    Article • Annals of Pure and Applied Logic, December 2010, Elsevier

    Dr Sergei N Artemov, Dr. Yuri Matiyasevich

  14. Tracking Evidence

    Article • January 2010, Springer Science + Business Media

    Dr Sergei N Artemov

  15. Preface

    Article • Annals of Pure and Applied Logic, December 2009, Elsevier

    Dr Sergei N Artemov

  16. Preface

    Article • Annals of Pure and Applied Logic, November 2009, Elsevier

    Dr Sergei N Artemov

  17. Preface

    Article • Theory of Computing Systems, October 2009, Springer Science + Business Media

    Dr Sergei N Artemov

  18. Logical Foundations of Computer Science

    Article • January 2009, Springer Science + Business Media

    Dr Sergei N Artemov

  19. Logical omniscience as a computational complexity problem

    Article • January 2009, ACM (Association for Computing Machinery)

    Dr Sergei N Artemov

  20. Preface

    Article • Theory of Computing Systems, December 2008, Springer Science + Business Media

    Dr Sergei N Artemov

  21. THE LOGIC OF JUSTIFICATION

    Article • The Review of Symbolic Logic, December 2008, Cambridge University Press

    Dr Sergei N Artemov

  22. The topology of justification

    Article • Logic and Logical Philosophy, June 2008, Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University

    Dr Sergei N Artemov

  23. Foreword

    Article • Theory of Computing Systems, October 2007, Springer Science + Business Media

    Dr Sergei N Artemov

  24. The basic intuitionistic logic of proofs

    Article • Journal of Symbolic Logic, June 2007, Cambridge University Press

    Dr Sergei N Artemov

  25. Logical Foundations of Computer Science

    Article • January 2007, Springer Science + Business Media

    Dr Sergei N Artemov

  26. 16 Modal logic in mathematics

    Article • January 2007, Elsevier

    Dr Sergei N Artemov

  27. Preface

    Article • Annals of Pure and Applied Logic, September 2006, Elsevier

    Dr Sergei N Artemov, Dr. Yuri Matiyasevich

  28. Preface

    Article • Theoretical Computer Science, July 2006, Elsevier

    Dr Sergei N Artemov

  29. Justified common knowledge

    Article • Theoretical Computer Science, July 2006, Elsevier

    Dr Sergei N Artemov

  30. Logical Omniscience Via Proof Complexity

    Article • January 2006, Springer Science + Business Media

    Dr Sergei N Artemov

  31. Introducing Justification into Epistemic Logic

    Article • Journal of Logic and Computation, December 2005, Oxford University Press (OUP)

    Dr Sergei N Artemov

  32. WoLLIC’2002

    Article • Annals of Pure and Applied Logic, June 2005, Elsevier

    Dr Sergei N Artemov

  33. 2004 Annual Meeting of the Association for Symbolic Logic

    Article • Bulletin of Symbolic Logic, March 2005, Cambridge University Press

    Dr Sergei N Artemov

  34. Kolmogorov and Gödel's approach to intuitionistic logic: current developments

    Article • Russian Mathematical Surveys, April 2004, Turpion-Moscow Limited

    Dr Sergei N Artemov

  35. Editorial

    Article • Annals of Pure and Applied Logic, April 2004, Elsevier

    Dr Sergei N Artemov

  36. Подход Колмогорова и Гeделя к интуиционистской логике и работы последнего десятилетия в этом направлении

    Article • Успехи математических наук, January 2004, Steklov Mathematical Institute

    Dr Sergei N Artemov

  37. Back to the Future: Explicit Logic for Computer Science

    Article • January 2003, Springer Science + Business Media

    Dr Sergei N Artemov

  38. Explicit Provability and Constructive Semantics

    Article • Bulletin of Symbolic Logic, September 2002, Cambridge University Press

    Dr Sergei N Artemov

  39. Artemov Sergei N.. Explicit provability and constructive semantics. The bulletin of symbolic logic, vol. 7 (2001), pp. 1–36.

    Article • Bulletin of Symbolic Logic, September 2002, Cambridge University Press

    Dr Sergei N Artemov

  40. Explicit Provability and Constructive Semantics

    Article • Bulletin of Symbolic Logic, March 2001, Cambridge University Press

    Dr Sergei N Artemov

  41. Reflective λ-Calculus

    Article • January 2001, Springer Science + Business Media

    Dr Sergei N Artemov

  42. On Explicit Reflection in Theorem Proving and Formal Verification

    Article • January 1999, Springer Science + Business Media

    Dr Sergei N Artemov

  43. Uniform provability realization of intuitionistic logic, modality and λ-terms

    Article • Electronic Notes in Theoretical Computer Science, January 1999, Elsevier

    Dr Sergei N Artemov

  44. Realization of Intuitionistic Logic by Proof Polynomials

    Article • Journal of Applied Non-Classical Logics, January 1999, Taylor & Francis

    Dr Sergei N Artemov

  45. Topological semantics for hybrid systems

    Article • January 1997, Springer Science + Business Media

    Dr Sergei N Artemov

  46. Data storage interpretation of labeled modal logic

    Article • Annals of Pure and Applied Logic, April 1996, Elsevier

    Dr Sergei N Artemov

  47. Boolos George. The logic of provability. Cambridge University Press, Cambridge, New York, and Melbourne, 1993, xxxvi + 276 pp.

    Article • Journal of Symbolic Logic, December 1995, Cambridge University Press

    Dr Sergei N Artemov

  48. Preface

    Article • Annals of Pure and Applied Logic, September 1995, Elsevier

    Dr Sergei N Artemov

  49. On first-order theories with provability operator

    Article • Journal of Symbolic Logic, December 1994, Cambridge University Press

    Dr Sergei N Artemov

  50. Logic of proofs

    Article • Annals of Pure and Applied Logic, May 1994, Elsevier

    Dr Sergei N Artemov

  51. Referential data structures and labeled modal logic

    Article • January 1994, Springer Science + Business Media

    Dr Sergei N Artemov

  52. On propositional quantifiers in provability logic.

    Article • Notre Dame Journal of Formal Logic, June 1993, Duke University Press

    Dr Sergei N Artemov

  53. The basic logic of proofs

    Article • January 1993, Springer Science + Business Media

    Dr Sergei N Artemov

  54. Finite Kripke models and predicate logics of provability

    Article • Journal of Symbolic Logic, September 1990, Cambridge University Press

    Dr Sergei N Artemov

  55. Degrees of insolubility of extensions of arithmetic by true propositions

    Article • Russian Mathematical Surveys, April 1988, Turpion-Moscow Limited

    Dr Sergei N Artemov

  56. ON MODAL LOGICS AXIOMATIZING PROVABILITY

    Article • Mathematics of the USSR-Izvestiya, June 1986, Turpion-Moscow Limited

    Dr Sergei N Artemov

  57. Justification Logic

    Article • Springer Science + Business Media

    Dr Sergei N Artemov

  58. The Intensional Lambda Calculus

    Article • Springer Science + Business Media

    Dr Sergei N Artemov

  59. Symmetric Logic of Proofs

    Article • Springer Science + Business Media

    Dr Sergei N Artemov

  60. Provability Logic

    Article • Springer Science + Business Media

    Dr Sergei N Artemov

  61. On Two Models of Provability

    Article • Springer Science + Business Media

    Dr Sergei N Artemov

  62. Topological Semantics of Justification Logic

    Article • Springer Science + Business Media

    Dr Sergei N Artemov

  63. The logic of the Gödel proof predicate

    Article • Springer Science + Business Media

    Dr Sergei N Artemov

  64. Logic, topological semantics and hybrid systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr Sergei N Artemov