Sergei N. Artëmov

According to our database, Sergei N. Artëmov authored at least 57 papers between 1990 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Towards Syntactic Epistemic Logic.

Sergei Artemov

Fundam. Informaticae, 2022

2021

Preface to Intiutionistic Modal Logic 2017.

Valeria de Paiva, Sergei Artemov

FLAP, 2021

2020

Editorial.

Sergei N. Artëmov, Anil Nerode

J. Log. Comput., 2020

Special Issue on Logical Foundations of Computer Science.

Sergei N. Artëmov, Anil Nerode

J. Log. Comput., 2020

Justification awareness.

Sergei N. Artëmov

J. Log. Comput., 2020

On aggregating probabilistic evidence.

Sergei N. Artëmov

J. Log. Comput., 2020

Observable Models.

Sergei N. Artëmov

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

2018

Justification Awareness Models.

Sergei N. Artëmov

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

2017

Epistemic Modeling with Justifications.

Sergei N. Artëmov

CoRR, 2017

2016

Intuitionistic Epistemic Logic.

Sergei N. Artëmov, Tudor Protopopescu

Rev. Symb. Log., 2016

Binding modalities.

Sergei N. Artëmov, Tatiana Yavorskaya

J. Log. Comput., 2016

2014

Logical omniscience as infeasibility.

Sergei N. Artëmov, Roman Kuznets

Ann. Pure Appl. Log., 2014

On Definitive Solutions of Strategic Games.

Sergei N. Artëmov

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Discovering knowability: a semantic analysis.

Sergei N. Artëmov, Tudor Protopopescu

Synth., 2013

2012

The Ontology of Justifications in the Logical Setting.

Sergei N. Artëmov

Stud Logica, 2012

Preface.

Sergei N. Artëmov, Anil Nerode

Ann. Pure Appl. Log., 2012

2010

Preface.

Sergei N. Artëmov, Volker Diekert, Alexander A. Razborov

Theory Comput. Syst., 2010

Preface.

Sergei N. Artëmov, Volker Diekert, Dima Grigoriev

Theory Comput. Syst., 2010

Preface.

Sergei N. Artëmov, Yuri V. Matiyasevich, Grigori Mints, Anatol Slissenko

Ann. Pure Appl. Log., 2010

Tracking Evidence.

Sergei N. Artëmov

Proceedings of the Fields of Logic and Computation, 2010

2009

Preface.

Sergei N. Artëmov

Ann. Pure Appl. Log., 2009

Logical omniscience as a computational complexity problem.

Sergei N. Artëmov, Roman Kuznets

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

2008

The Logic of Justification.

Sergei N. Artëmov

Rev. Symb. Log., 2008

Foreword.

Sergei N. Artëmov, Volker Diekert, Dima Grigoriev

Theory Comput. Syst., 2008

Justification Logic.

Sergei N. Artëmov

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Topological Semantics of Justification Logic.

Sergei N. Artëmov, Elena Nogina

Proceedings of the Computer Science, 2008

Symmetric Logic of Proofs.

Sergei N. Artëmov

Proceedings of the Pillars of Computer Science, 2008

2007

The basic intuitionistic logic of proofs.

Sergei N. Artëmov, Rosalie Iemhoff

J. Symb. Log., 2007

The Intensional Lambda Calculus.

Sergei N. Artëmov, Eduardo Bonelli

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Modal logic in mathematics.

Sergei N. Artëmov

Proceedings of the Handbook of Modal Logic., 2007

2006

Preface.

Sergei N. Artëmov, Michael W. Mislove

Theor. Comput. Sci., 2006

Justified common knowledge.

Sergei N. Artëmov

Theor. Comput. Sci., 2006

Preface.

Yuri V. Matiyasevich, Sergei N. Artëmov

Ann. Pure Appl. Log., 2006

Logical Omniscience Via Proof Complexity.

Sergei N. Artëmov, Roman Kuznets

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005

Introducing Justification into Epistemic Logic.

Sergei N. Artëmov, Elena Nogina

J. Log. Comput., 2005

WoLLIC'2002.

Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov

Ann. Pure Appl. Log., 2005

On epistemic logic with justification.

Sergei N. Artëmov, Elena Nogina

Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005

Existential Semantics for Modal Logic.

Sergei N. Artëmov

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004

Editorial.

Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski

Ann. Pure Appl. Log., 2004

2003

Back to the Future: Explicit Logic for Computer Science (Invited Lecture).

Sergei N. Artëmov

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2001

Explicit provability and constructive semantics.

Sergei N. Artëmov

Bull. Symb. Log., 2001

Reflective lambda-Calculus.

Jesse Alt, Sergei N. Artëmov

Proceedings of the Proof Theory in Computer Science, International Seminar, 2001

1999

Realization of Intuitionistic Logic by Proof Polynomials.

Sergei N. Artëmov

J. Appl. Non Class. Logics, 1999

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

Sergei N. Artëmov

Proceedings of the Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30, 1999

On Explicit Reflection in Theorem Proving and Formal Verification.

Sergei N. Artëmov

Proceedings of the Automated Deduction, 1999

1998

Operations on Proofs that can be Specified by Means of Modal Logic.

Sergei N. Artëmov

Proceedings of the Advances in Modal Logic 2, 1998

1997

Topological Semantics for Hybrid Systems.

Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

1996

Data Storage Interpretation of Labeled Modal Logic.

Sergei N. Artëmov, Vladimir Krupski

Ann. Pure Appl. Log., 1996

1995

Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994.

Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser

Ann. Pure Appl. Log., 1995

1994

On First-Order Theories with Provability Operator.

Sergei N. Artëmov, Franco Montagna

J. Symb. Log., 1994

Logic of Proofs.

Sergei N. Artëmov

Ann. Pure Appl. Log., 1994

Referential Data Structures and Labeled Modal Logic.

Sergei N. Artëmov, Vladimir Krupski

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1993

On propositional quantifiers in provability logic.

Sergei N. Artëmov, Lev D. Beklemishev

Notre Dame J. Formal Log., 1993

The Logic of the Gödel Proof Predicate.

Sergei N. Artëmov, Tyko Straßen

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1992

The Basic Logic of Proofs.

Sergei N. Artëmov, Tyko Straßen

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1990

Finite Kripke Models and Predicate Logics of Provability.

Sergei N. Artëmov, Giorgie Dzhaparidze

J. Symb. Log., 1990

Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic.

Sergei N. Artëmov

Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990