Sergei Artëmov
-
- Advanced Algebra and Logic 20
- Computability, Logic, AI Algorithms 14
- Artificial Intelligence top 1%
- Logic, Reasoning, and Knowledge 47
- Logic, programming, and type systems 23
- Semantic Web and Ontologies 17
- Multi-Agent Systems and Negotiation 10
- Philosophy top 5%
- Epistemology, Ethics, and Metaphysics 3
-
- Philosophy and Theoretical Science 3
- Co-authors
- Roman KuznetsArtur d’Avila GarcezLuís C. LambMelvin FittingHerbert R. BarringerAnil NerodeRosalie IemhoffBryan Renne
- Journals
- Journal of Logic and Computation (5 papers)Annals of Pure and Applied Logic (4 papers)Journal of Symbolic Logic (3 papers)
- Partner nations
- United StatesRussiaSwitzerland
In The Last Decade
Sergei Artëmov
55 papers receiving 846 citations
Peers
Comparison fields: 5 of 44
- Computational Theory and Mathematics 457
- Artificial Intelligence 872
- Philosophy 74
- Experimental and Cognitive Psychology 43
- History and Philosophy of Science 12
Countries citing papers authored by Sergei Artëmov
This map shows the geographic impact of Sergei Artëmov's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Sergei Artëmov with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Sergei Artëmov more than expected).
Fields of papers citing papers by Sergei Artëmov
This network shows the impact of papers produced by Sergei Artëmov. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Sergei Artëmov. The network helps show where Sergei Artëmov may publish in the future.
Co-authorship network
The 19 scholars most cited alongside Sergei Artëmov, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2023 | 0 | |
| 2 | 2022 | 1 | |
| 3 | 2017 | 1 | |
| 4 | 2017 | 7 | |
| 5 | 2013 | 2 | |
| 6 | 2013 | 7 | |
| 7 | 2013 | 5 | |
| 8 | Complexity issues in justification logic | 2008 | 26 |
| 9 | 2008 | 109 | |
| 10 | 2007 | 2 | |
| 11 | 2006 | 38 | |
| 12 | Embedding of the modal λ-calculus into the logic of proofs | 2003 | 1 |
| 13 | Operations on Proofs That Can be Specified by Means of Modal Logic | 1999 | 2 |
| 14 | Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. | 1995 | 1 |
| 15 | Proceedings of the Third International Symposium on Logical Foundations of Computer Science | 1994 | 3 |
| 16 | 1994 | 52 | |
| 17 | Functionality in the Basic Logic of Proofs | 1993 | 5 |
| 18 | Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic | 1990 | 6 |
| 19 | Numerically correct provability logics | 1987 | 1 |
| 20 | Nonarithmeticity of truth predicate logics of provability | 1985 | 14 |
About Sergei Artëmov
Sergei Artëmov is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Philosophy, Experimental and Cognitive Psychology and Urban Studies, having authored 64 papers that have together received 943 indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (47 papers), Logic, programming, and type systems (23 papers), Advanced Algebra and Logic (20 papers), Semantic Web and Ontologies (17 papers), Computability, Logic, AI Algorithms (14 papers), Multi-Agent Systems and Negotiation (10 papers), Epistemology, Ethics, and Metaphysics (3 papers) and Philosophy and Theoretical Science (3 papers). The work is most often cited by research in Computational Theory and Mathematics (457 citations), Artificial Intelligence (872 citations), Philosophy (74 citations), Experimental and Cognitive Psychology (43 citations) and History and Philosophy of Science (12 citations). Sergei Artëmov has collaborated with scholars based in United States, Russia and Switzerland. Frequent co-authors include Roman Kuznets, Artur d’Avila Garcez, Luís C. Lamb, Melvin Fitting, Herbert R. Barringer, Anil Nerode, Rosalie Iemhoff, Bryan Renne, Lev D. Beklemishev and Jeremy Avigad. Their work appears in journals such as Journal of Logic and Computation, Annals of Pure and Applied Logic, Journal of Symbolic Logic, Bulletin of Symbolic Logic and Synthese.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.