Personal Profile

First Name: 

Sergei

Last Name: 

Artemov

Title: 

Distinguished Professor

Host Campus: 

The Graduate Center

Homepage: 

http://web.cs.gc.cuny.edu/~sartemov/

Research Profile

Research Interests: 

Logic; Automated Deduction and Verification; Optimal Control and Hybrid Systems

Publications: 

S. Artemov and R. Iemhoff. `The basic intuitionistic logic of proofs.' Journal of Symbolic Logic, accepted for publication, 2006
S. Artemov and E. Nogina. `Introducing justification to epistemic logic,' Journal of Logic and Computation, vol. 15, No. 6, pp. 1059-1073, 2005.
S. Artemov. `Existential semantics for modal logic,' in S. Artemov, H. Barringer, A. d'Avila Garcez, L. Lamb and J. Woods, editors, We Will Show Them: Essays in Honour of Dov Gabbay. Volume 1, College Publications, London, pp. 19-30, 2005.
S. Artemov and E. Nogina. `On epistemic logic with justification,' in: R. van der Meyden, editor, Theoretical Aspects of Rationality and Knowledge. Proceedings of the Tenth Conference (TARK 2005), June 10-12, 2005, Singapore, pp. 279-294, 2005.
S. Artemov, B. Poizat, R. de Queiroz. `Preface. WoLLIC'2002,' Annals of Pure and Applied Logic, vol. 134, pp.1-4, 2005.
S.Artemov (For the Program Committee). 2004 Annual Meeting of the Association for Symbolic Logic. Carnegie Mellon University, Pittsburgh, May 19-23, 2004. The Bulletin of Symbolic Logic, vol.11, No.1, pp. 92-93, 2005.
S.Artemov and E.Nogina. `Basic epistemic logics with justifications.' Technical Report TR-2005004, CUNY Ph.D. Program in Computer Science, 2005.
S.Artemov and R.Iemhoff. `The basic intuitionistic logic of proofs.' Technical Report TR-2005002, CUNY Ph.D. Program in Computer Science, 2005.
S. Artemov and R. Iemhoff. `From de Jongh's theorem to intuitionistic logic of proofs.' Dick de Jongh's Festschrift, University of Amsterdam, 2004.
S.Artemov. `Evidence-based common knowledge.' Technical Report TR-2004018, CUNY Ph.D. Program in Computer Science, 2004
S.Artemov and L.Beklemishev. `Provability logic.' In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, 2nd ed., volume 13, pages 229-403. Kluwer, Dordrecht, 2004.
S. Artemov and E. Nogina. `Logic of knowledge with justifications from the provability perspective.' CUNY Ph.D. Program in Computer Science, Technical Report TR-2004011, 2004.
Z. Adamowicz, S. Artemov, D. Niwinski, E. Orlowska, A. Romanowska and J. Wolenski. `Editorial. Provinces of logic determined. Essays in the memory of Alfred Tarski,' Annals of Pure and Applied Logic, vol. 126, pp.3-4, 2004.
S. Artemov. `Kolmogorov's and Goedel's approach to intuitionistic logic: current developments,' Russian Mathematical Surveys, vol. 59, No.2, pp. 203-229, 2004.
S.N. Artemov. `Kolmogorov's and Goedel's approach to intuitionistic logic: current developments,' Uspekhi Mat. Nauk, vol. 59:2, pp.9-36, 2004 (in Russian).

Education Profile

Highest Degree: 

Ph.D.

Institution Granting Highest Degree: 

Moscow University

History

Member for

45 weeks 1 day