Sergei N. Artëmov

67 papers A 1B 8Misc 14Journal 34Unranked 6

Year	Rank	Type	Title / Venue / Authors
2022	Misc	`ed.`	Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings LFCS Sergei N. Artëmov, Anil Nerode
2021	J	`jnl`	Editorial. J. Log. Comput. Sergei N. Artëmov, Anil Nerode
2020	J	`jnl`	Editorial. J. Log. Comput. Sergei N. Artëmov, Anil Nerode
2020	J	`jnl`	Justification awareness. J. Log. Comput. Sergei N. Artëmov
2020	Misc	`ed.`	Logical Foundations of Computer Science - International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings LFCS Sergei N. Artëmov, Anil Nerode
2020	Misc	`conf`	Observable Models. LFCS Sergei N. Artëmov
2020	J	`jnl`	On aggregating probabilistic evidence. J. Log. Comput. Sergei N. Artëmov
2020	J	`jnl`	Special Issue on Logical Foundations of Computer Science. J. Log. Comput. Sergei N. Artëmov, Anil Nerode
2018	Misc	`conf`	Justification Awareness Models. LFCS Sergei N. Artëmov
2018	Misc	`ed.`	Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings LFCS Sergei N. Artëmov, Anil Nerode
2017	J	`jnl`	Epistemic Modeling with Justifications. CoRR Sergei N. Artëmov
2016	J	`jnl`	Binding modalities. J. Log. Comput. Sergei N. Artëmov, Tatiana Yavorskaya
2016	J	`jnl`	Intuitionistic Epistemic Logic. Rev. Symb. Log. Sergei N. Artëmov, Tudor Protopopescu
2016	Misc	`ed.`	Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings LFCS Sergei N. Artëmov, Anil Nerode
2016	Misc	`conf`	On Aggregating Probabilistic Evidence. LFCS Sergei N. Artëmov
2014	J	`jnl`	Logical omniscience as infeasibility. Ann. Pure Appl. Log. Sergei N. Artëmov, Roman Kuznets
2014	—	`ch.`	On Definitive Solutions of Strategic Games. Johan van Benthem on Logic and Information Dynamics Sergei N. Artëmov
2013	J	`jnl`	Discovering knowability: a semantic analysis. Synth. Sergei N. Artëmov, Tudor Protopopescu
2013	Misc	`ed.`	Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings LFCS Sergei N. Artëmov, Anil Nerode
2012	J	`jnl`	Preface. Ann. Pure Appl. Log. Sergei N. Artëmov, Anil Nerode
2012	J	`jnl`	The Ontology of Justifications in the Logical Setting. Stud Logica Sergei N. Artëmov
2010	J	`jnl`	Preface. Ann. Pure Appl. Log. Sergei N. Artëmov, Yuri V. Matiyasevich, Grigori Mints, Anatol Slissenko
2010	J	`jnl`	Preface. Theory Comput. Syst. Sergei N. Artëmov, Volker Diekert, Dima Grigoriev
2010	J	`jnl`	Preface. Theory Comput. Syst. Sergei N. Artëmov, Volker Diekert, Alexander A. Razborov
2010	—	`conf`	Tracking Evidence. Fields of Logic and Computation Sergei N. Artëmov
2009	Misc	`ed.`	Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings LFCS Sergei N. Artëmov, Anil Nerode
2009	B	`conf`	Logical omniscience as a computational complexity problem. TARK Sergei N. Artëmov, Roman Kuznets
2009	J	`jnl`	Preface. Ann. Pure Appl. Log. Sergei N. Artëmov
2009	J	`jnl`	Preface. Ann. Pure Appl. Log. Sergei N. Artëmov
2008	J	`jnl`	Foreword. Theory Comput. Syst. Sergei N. Artëmov, Volker Diekert, Dima Grigoriev
2008	B	`conf`	Justification Logic. JELIA Sergei N. Artëmov
2008	—	`conf`	Symmetric Logic of Proofs. Pillars of Computer Science Sergei N. Artëmov
2008	J	`jnl`	The Logic of Justification. Rev. Symb. Log. Sergei N. Artëmov
2008	Misc	`conf`	Topological Semantics of Justification Logic. CSR Sergei N. Artëmov, Elena Nogina
2007	Misc	`ed.`	Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings LFCS Sergei N. Artëmov, Anil Nerode
2007	—	`ch.`	Modal logic in mathematics. Handbook of Modal Logic Sergei N. Artëmov
2007	Misc	`conf`	The Intensional Lambda Calculus. LFCS Sergei N. Artëmov, Eduardo Bonelli
2007	J	`jnl`	The basic intuitionistic logic of proofs. J. Symb. Log. Sergei N. Artëmov, Rosalie Iemhoff
2006	J	`jnl`	Justified common knowledge. Theor. Comput. Sci. Sergei N. Artëmov
2006	B	`conf`	Logical Omniscience Via Proof Complexity. CSL Sergei N. Artëmov, Roman Kuznets
2006	J	`jnl`	Preface. Ann. Pure Appl. Log. Yuri V. Matiyasevich, Sergei N. Artëmov
2006	J	`jnl`	Preface. Theor. Comput. Sci. Sergei N. Artëmov, Michael W. Mislove
2005	—	`conf`	Existential Semantics for Modal Logic. We Will Show Them! (1) Sergei N. Artëmov
2005	J	`jnl`	Introducing Justification into Epistemic Logic. J. Log. Comput. Sergei N. Artëmov, Elena Nogina
2005	B	`conf`	On epistemic logic with justification. TARK Sergei N. Artëmov, Elena Nogina
2005	—	`ed.`	We Will Show Them! Essays in Honour of Dov Gabbay, Volume One We Will Show Them! (1) Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods
2005	—	`ed.`	We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two We Will Show Them! (2) Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods
2005	J	`jnl`	WoLLIC'2002. Ann. Pure Appl. Log. Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov
2004	J	`jnl`	Editorial. Ann. Pure Appl. Log. Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski
2003	B	`conf`	Back to the Future: Explicit Logic for Computer Science (Invited Lecture). CSL Sergei N. Artëmov
2001	J	`jnl`	Explicit provability and constructive semantics. Bull. Symb. Log. Sergei N. Artëmov
2001	—	`conf`	Reflective lambda-Calculus. Proof Theory in Computer Science Jesse Alt, Sergei N. Artëmov
1999	A	`conf`	On Explicit Reflection in Theorem Proving and Formal Verification. CADE Sergei N. Artëmov
1999	J	`jnl`	Realization of Intuitionistic Logic by Proof Polynomials. J. Appl. Non Class. Logics Sergei N. Artëmov
1999	—	`conf`	Uniform provability realization of intuitionistic logic, modality and lambda-terms. Realizability Semantics and Applications@FLoC Sergei N. Artëmov
1998	B	`conf`	Operations on Proofs that can be Specified by Means of Modal Logic. Advances in Modal Logic Sergei N. Artëmov
1997	Misc	`conf`	Topological Semantics for Hybrid Systems. LFCS Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode
1996	J	`jnl`	Data Storage Interpretation of Labeled Modal Logic. Ann. Pure Appl. Log. Sergei N. Artëmov, Vladimir Krupski
1995	J	`jnl`	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. Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser
1994	J	`jnl`	Logic of Proofs. Ann. Pure Appl. Log. Sergei N. Artëmov
1994	J	`jnl`	On First-Order Theories with Provability Operator. J. Symb. Log. Sergei N. Artëmov, Franco Montagna
1994	Misc	`conf`	Referential Data Structures and Labeled Modal Logic. LFCS Sergei N. Artëmov, Vladimir Krupski
1993	J	`jnl`	On propositional quantifiers in provability logic. Notre Dame J. Formal Log. Sergei N. Artëmov, Lev D. Beklemishev
1993	—	`conf`	The Logic of the Gödel Proof Predicate. Kurt Gödel Colloquium Sergei N. Artëmov, Tyko Straßen
1992	B	`conf`	The Basic Logic of Proofs. CSL Sergei N. Artëmov, Tyko Straßen
1990	J	`jnl`	Finite Kripke Models and Predicate Logics of Provability. J. Symb. Log. Sergei N. Artëmov, Giorgie Dzhaparidze
1990	B	`conf`	Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic. TARK Sergei N. Artëmov