AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Sergei Artemov

Sergei Artemov

CUNY Graduate Center - New York / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 883577
-
person_outline Sergei Artemov's MOST POPULAR ARTICLES
1-) Explicit provability and constructive semantics Bulletin of Symbolic logic 7 (1), 1-36, 2001
2-) The logic of justification The Review of Symbolic Logic, 2008
3-) Operational modal logic Mathematical Sciences Institute, Cornell University 95 (29), 1995
4-) Justification logic European Workshop on Logics in Artificial Intelligence, 1-4, 2008
5-) Introducing justification into epistemic logic Journal of Logic and Computation 15 (6), 1059-1073, 2005