Segui
Sergei Artemov
Sergei Artemov
Distinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate Center
Email verificata su gc.cuny.edu
Titolo
Citata da
Citata da
Anno
Explicit provability and constructive semantics
SN Artemov
Bulletin of Symbolic logic 7 (1), 1-36, 2001
5632001
The logic of justification
SN Artemov
The Review of Symbolic Logic, 2008
3612008
Operational modal logic
SN Artemov
Tech. Rept. MSI 95-29. Mathematical Sciences Institute, Cornell University, 1995
2701995
Introducing justification into epistemic logic
S Artemov, E Nogina
Journal of Logic and Computation 15 (6), 1059-1073, 2005
1852005
Justification logic
S Artemov
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008 …, 2008
1732008
Provability logic
SN Artemov, LD Beklemishev
Handbook of Philosophical Logic, 2nd Edition, 2005
1652005
Logic of proofs
S Artemov
Annals of Pure and Applied Logic 67 (1-3), 29-59, 1994
1471994
Justified common knowledge
S Artemov
Theoretical Computer Science 357 (1-3), 4-22, 2006
1282006
Intuitionistic epistemic logic
S Artemov, T Protopopescu
The Review of Symbolic Logic 9 (2), 266-298, 2016
962016
Justification logic: reasoning with reasons
S Artemov, M Fitting
Cambridge University Press, 2019
91*2019
Modal logics and topological semantics for hybrid systems
S Artemov, J Davoren, A Nerode
Technical Report TR-97-02, CALIFORNIA UNIV BERKELEY, 1997
841997
The Ontology of Justifications in the Logical Setting
SN Artemov
Studia Logica 100, 17-30, 2012
832012
Logic of knowledge with justifications from the provability perspective
S Artemov, E Nogina
Technical Report TR-2004011, CUNY Ph. D. Program in Computer Science, 2004
81*2004
Evidence-Based Common Knowledge
S Artemov
CUNY Ph. D. Program in Computer Science Technical Report TR2004018, 2004
702004
On epistemic logic with justification
S Artemov, E Nogina
TARK 5, 279-294, 2005
652005
Logical omniscience as a computational complexity problem
S Artemov, R Kuznets
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and …, 2009
552009
Functionality in the basic logic of proofs
S Artemov, T Straßen
Technical Report IAM 93-004, Bern University, 1993
501993
Arithmetically complete modal theories
S Artemov
Russian, English translation in: Amer. Math. Soc. Transl 2 (135), 39-54, 1987
47*1987
Kolmogorov and Gödel's approach to intuitionistic logic: current developments
SN Artemov
Russian Mathematical Surveys 59 (2), 203, 2004
46*2004
Logical omniscience via proof complexity
S Artemov, R Kuznets
International Workshop on Computer Science Logic, 135-149, 2006
452006
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20