Sergei N. Artëmov

Orcid: 0000-0002-5605-6172

Affiliations:
  • City University of New York, New York City, NY, USA


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Editorial.
J. Log. Comput., 2022

Towards Syntactic Epistemic Logic.
Fundam. Informaticae, 2022

2021
Preface to Intiutionistic Modal Logic 2017.
FLAP, 2021

2020
Special Issue on Logical Foundations of Computer Science.
J. Log. Comput., 2020

Justification awareness.
J. Log. Comput., 2020

On aggregating probabilistic evidence.
J. Log. Comput., 2020

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

2018
Justification Awareness Models.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

2017
Epistemic Modeling with Justifications.
CoRR, 2017

2016
Intuitionistic Epistemic Logic.
Rev. Symb. Log., 2016

Binding modalities.
J. Log. Comput., 2016

2014
Logical omniscience as infeasibility.
Ann. Pure Appl. Log., 2014

On Definitive Solutions of Strategic Games.
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013
Discovering knowability: a semantic analysis.
Synth., 2013

2012
The Ontology of Justifications in the Logical Setting.
Stud Logica, 2012

Preface.
Ann. Pure Appl. Log., 2012

2010
Preface.
Theory Comput. Syst., 2010

Preface.
Theory Comput. Syst., 2010

Preface.
Ann. Pure Appl. Log., 2010

Tracking Evidence.
Proceedings of the Fields of Logic and Computation, 2010

2009
Preface.
Ann. Pure Appl. Log., 2009

Logical omniscience as a computational complexity problem.
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

2008
The Logic of Justification.
Rev. Symb. Log., 2008

Foreword.
Theory Comput. Syst., 2008

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

Topological Semantics of Justification Logic.
Proceedings of the Computer Science, 2008

Symmetric Logic of Proofs.
Proceedings of the Pillars of Computer Science, 2008

2007
The basic intuitionistic logic of proofs.
J. Symb. Log., 2007

The Intensional Lambda Calculus.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Modal logic in mathematics.
Proceedings of the Handbook of Modal Logic., 2007

2006
Preface.
Theor. Comput. Sci., 2006

Justified common knowledge.
Theor. Comput. Sci., 2006

Preface.
Ann. Pure Appl. Log., 2006

Logical Omniscience Via Proof Complexity.
Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005
Introducing Justification into Epistemic Logic.
J. Log. Comput., 2005

WoLLIC'2002.
Ann. Pure Appl. Log., 2005

On epistemic logic with justification.
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005

Existential Semantics for Modal Logic.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004
Editorial.
Ann. Pure Appl. Log., 2004

2003
Back to the Future: Explicit Logic for Computer Science (Invited Lecture).
Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2001
Explicit provability and constructive semantics.
Bull. Symb. Log., 2001

Reflective lambda-Calculus.
Proceedings of the Proof Theory in Computer Science, International Seminar, 2001

1999
Realization of Intuitionistic Logic by Proof Polynomials.
J. Appl. Non Class. Logics, 1999

Uniform provability realization of intuitionistic logic, modality and lambda-terms.
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.
Proceedings of the Automated Deduction, 1999

1998
Operations on Proofs that can be Specified by Means of Modal Logic.
Proceedings of the Advances in Modal Logic 2, 1998

1997
Topological Semantics for Hybrid Systems.
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

1996
Data Storage Interpretation of Labeled Modal Logic.
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.
Ann. Pure Appl. Log., 1995

1994
On First-Order Theories with Provability Operator.
J. Symb. Log., 1994

Logic of Proofs.
Ann. Pure Appl. Log., 1994

Referential Data Structures and Labeled Modal Logic.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1993
On propositional quantifiers in provability logic.
Notre Dame J. Formal Log., 1993

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

1992
The Basic Logic of Proofs.
Proceedings of the Computer Science Logic, 6th Workshop, 1992

1990
Finite Kripke Models and Predicate Logics of Provability.
J. Symb. Log., 1990

Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic.
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990


  Loading...