×
Compute Distance To:
Author ID: artemov.sergei Recent zbMATH articles by "Artemov, Sergei"
Published as: Artemov, Sergei; Artemov, S. N.; Artemov, Sergei N.; Artemov, S.; Artëmov, Sergei; Artëmov, Sergej; Artëmov, S. N.; Artemov, Sergej N.; Artemov, Sergej
Further Spellings: Artëmov, Sergeĭ Nikolaevich
Homepage: https://sartemov.ws.gc.cuny.edu/
External Links: MGP · Wikidata · Math-Net.Ru · dblp · GND
Documents Indexed: 69 Publications since 1980, including 1 Book
23 Contributions as Editor
Reviewing Activity: 30 Reviews
Biographic References: 2 Publications
Co-Authors: 56 Co-Authors with 46 Joint Publications
1,685 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

51 Publications have been cited 462 times in 225 Documents Cited by Year
Explicit provability and constructive semantics. Zbl 0980.03059
Artemov, Sergei N.
122
2001
The logic of justification. Zbl 1205.03027
Artemov, Sergei
62
2008
Introducing justification into epistemic logic. Zbl 1088.03015
Artemov, Sergei; Nogina, Elena
42
2005
Justified common knowledge. Zbl 1094.03005
Artemov, Sergei
34
2006
Logic of proofs. Zbl 0796.03029
Artëmov, Sergei
27
1994
Justification logic. Reasoning with reasons. Zbl 1479.03001
Artemov, Sergei; Fitting, Melvin
17
2019
The ontology of justifications in the logical setting. Zbl 1255.03027
Artemov, Sergei N.
16
2012
Intuitionistic epistemic logic. Zbl 1408.03004
Artemov, Sergei; Protopopescu, Tudor
13
2016
Logical omniscience via proof complexity. Zbl 1225.03016
Artemov, Sergei; Kuznets, Roman
10
2006
Unified semantics for modality and \(\lambda\)-terms via proof polynomials. Zbl 1080.03037
Artemov, Sergei N.
7
2001
The basic intuitionistic logic of proofs. Zbl 1117.03066
Artemov, Sergei; Iemhoff, Rosalie
7
2007
The intensional lambda calculus. Zbl 1132.03318
Artemov, Sergei; Bonelli, Eduardo
7
2007
Kolmogorov and Gödel’s approach to intuitionistic logic, and investigations in this direction in the last decade. Zbl 1074.03029
Artëmov, S. N.
6
2003
Arithmetically complete modal theories. Zbl 0463.03006
Artemov, S. N.
6
1980
On modal logics axiomatizing provability. Zbl 0598.03012
Artemov, S. N.
5
1985
On propositional quantifiers in provability logic. Zbl 0805.03009
Artemov, Sergej N.; Beklemishev, Lev D.
5
1993
Tracking evidence. Zbl 1287.03038
Artemov, Sergei
5
2010
Why do we need justification logic? Zbl 1317.03020
Artemov, Sergei
5
2011
The basic logic of proofs. Zbl 0802.03012
Artëmov, Sergej; Straßen, Tyko
4
1993
Logical omniscience as infeasibility. Zbl 06244762
Artemov, Sergei; Kuznets, Roman
4
2014
On first order logic of proofs. Zbl 1011.03045
Artemov, Sergei; Yavorskaya, Tatiana
3
2001
Reflective \(\lambda\)-calculus. Zbl 1024.03015
Alt, Jesse; Artemov, Sergei
3
2001
Finite Kripke models and predicate logics of provability. Zbl 0723.03006
Artemov, Sergej; Dzhaparidze, Giorgie
3
1990
Existential semantics for modal logic. Zbl 1279.03039
Artemov, Sergei
3
2005
Applications of modal logic in proof theory. Zbl 0499.03046
Artemov, S. N.
3
1982
We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 1. Zbl 1202.03006
3
2005
On first-order theories with provability operator. Zbl 0860.03016
Artëmov, Sergei; Montagna, Franco
3
1994
Data storage interpretation of labeled modal logic. Zbl 0859.68015
Artëmov, Sergei; Krupski, Vladimir
3
1996
Justification logic. Zbl 1156.03318
Artemov, Sergei
3
2008
Discovering knowability: a semantic analysis. Zbl 1284.03024
Artemov, Sergei; Protopopescu, Tudor
3
2013
On aggregating probabilistic evidence. Zbl 1476.03029
Artemov, Sergei
3
2016
On modal logics axiomatizing provability. Zbl 0609.03005
Artemov, S. N.
2
1986
On two models of provability. Zbl 1123.03052
Artemov, Sergei
2
2007
Back to the future: explicit logic for computer science (abstract). Zbl 1116.03312
Artemov, Sergei
2
2003
Nonarithmeticity of truth predicate logics of provability. Zbl 0605.03007
Artemov, S. N.
2
1985
Uniform provability realization of intuitionistic logic, modality and \(\lambda\)-terms. Zbl 0961.03055
Artemov, Sergei N.
2
1999
Embedding of the modal \(\lambda\)-calculus into the logic of proofs. Zbl 1079.03053
Artemov, S. N.
1
2003
Arithmetically complete modal theories. Zbl 0612.03013
Artemov, S. N.
1
1987
On modal axiomatization of formal provability. Zbl 0726.03040
Artemov, S. N.
1
1988
On modal representations of extensions of Peano arithmetic. Zbl 0555.03010
Artemov, S. N.
1
1984
Referential data structures and labeled modal logic. Zbl 0964.03527
Artemov, Sergei; Krupski, Vladimir
1
1994
Justification awareness models. Zbl 06856636
Artemov, Sergei
1
2018
Symmetric logic of proofs. Zbl 1133.03038
Artemov, Sergei
1
2008
We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 2. Zbl 1202.03007
1
2005
On aggregating probabilistic evidence. Zbl 07194692
Artemov, Sergei
1
2020
Observable models. Zbl 1485.03035
Artemov, Sergei
1
2020
The logic of the Gödel proof predicate. Zbl 0806.03039
Artëmov, Sergej; Straßen, Tyko
1
1993
Provinces of logic determined. Essays in the memory of Alfred Tarski. Part I, II, III. Zbl 1065.03501
1
2004
The topology of justification. Zbl 1152.03015
Artemov, Sergei; Nogina, Elena
1
2008
On definitive solutions of strategic games. Zbl 1319.91036
Artemov, Sergei
1
2014
Topological semantics of justification logic. Zbl 1138.03015
Artemov, Sergei; Nogina, Elena
1
2008
On aggregating probabilistic evidence. Zbl 07194692
Artemov, Sergei
1
2020
Observable models. Zbl 1485.03035
Artemov, Sergei
1
2020
Justification logic. Reasoning with reasons. Zbl 1479.03001
Artemov, Sergei; Fitting, Melvin
17
2019
Justification awareness models. Zbl 06856636
Artemov, Sergei
1
2018
Intuitionistic epistemic logic. Zbl 1408.03004
Artemov, Sergei; Protopopescu, Tudor
13
2016
On aggregating probabilistic evidence. Zbl 1476.03029
Artemov, Sergei
3
2016
Logical omniscience as infeasibility. Zbl 06244762
Artemov, Sergei; Kuznets, Roman
4
2014
On definitive solutions of strategic games. Zbl 1319.91036
Artemov, Sergei
1
2014
Discovering knowability: a semantic analysis. Zbl 1284.03024
Artemov, Sergei; Protopopescu, Tudor
3
2013
The ontology of justifications in the logical setting. Zbl 1255.03027
Artemov, Sergei N.
16
2012
Why do we need justification logic? Zbl 1317.03020
Artemov, Sergei
5
2011
Tracking evidence. Zbl 1287.03038
Artemov, Sergei
5
2010
The logic of justification. Zbl 1205.03027
Artemov, Sergei
62
2008
Justification logic. Zbl 1156.03318
Artemov, Sergei
3
2008
Symmetric logic of proofs. Zbl 1133.03038
Artemov, Sergei
1
2008
The topology of justification. Zbl 1152.03015
Artemov, Sergei; Nogina, Elena
1
2008
Topological semantics of justification logic. Zbl 1138.03015
Artemov, Sergei; Nogina, Elena
1
2008
The basic intuitionistic logic of proofs. Zbl 1117.03066
Artemov, Sergei; Iemhoff, Rosalie
7
2007
The intensional lambda calculus. Zbl 1132.03318
Artemov, Sergei; Bonelli, Eduardo
7
2007
On two models of provability. Zbl 1123.03052
Artemov, Sergei
2
2007
Justified common knowledge. Zbl 1094.03005
Artemov, Sergei
34
2006
Logical omniscience via proof complexity. Zbl 1225.03016
Artemov, Sergei; Kuznets, Roman
10
2006
Introducing justification into epistemic logic. Zbl 1088.03015
Artemov, Sergei; Nogina, Elena
42
2005
Existential semantics for modal logic. Zbl 1279.03039
Artemov, Sergei
3
2005
We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 1. Zbl 1202.03006
3
2005
We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 2. Zbl 1202.03007
1
2005
Provinces of logic determined. Essays in the memory of Alfred Tarski. Part I, II, III. Zbl 1065.03501
1
2004
Kolmogorov and Gödel’s approach to intuitionistic logic, and investigations in this direction in the last decade. Zbl 1074.03029
Artëmov, S. N.
6
2003
Back to the future: explicit logic for computer science (abstract). Zbl 1116.03312
Artemov, Sergei
2
2003
Embedding of the modal \(\lambda\)-calculus into the logic of proofs. Zbl 1079.03053
Artemov, S. N.
1
2003
Explicit provability and constructive semantics. Zbl 0980.03059
Artemov, Sergei N.
122
2001
Unified semantics for modality and \(\lambda\)-terms via proof polynomials. Zbl 1080.03037
Artemov, Sergei N.
7
2001
On first order logic of proofs. Zbl 1011.03045
Artemov, Sergei; Yavorskaya, Tatiana
3
2001
Reflective \(\lambda\)-calculus. Zbl 1024.03015
Alt, Jesse; Artemov, Sergei
3
2001
Uniform provability realization of intuitionistic logic, modality and \(\lambda\)-terms. Zbl 0961.03055
Artemov, Sergei N.
2
1999
Data storage interpretation of labeled modal logic. Zbl 0859.68015
Artëmov, Sergei; Krupski, Vladimir
3
1996
Logic of proofs. Zbl 0796.03029
Artëmov, Sergei
27
1994
On first-order theories with provability operator. Zbl 0860.03016
Artëmov, Sergei; Montagna, Franco
3
1994
Referential data structures and labeled modal logic. Zbl 0964.03527
Artemov, Sergei; Krupski, Vladimir
1
1994
On propositional quantifiers in provability logic. Zbl 0805.03009
Artemov, Sergej N.; Beklemishev, Lev D.
5
1993
The basic logic of proofs. Zbl 0802.03012
Artëmov, Sergej; Straßen, Tyko
4
1993
The logic of the Gödel proof predicate. Zbl 0806.03039
Artëmov, Sergej; Straßen, Tyko
1
1993
Finite Kripke models and predicate logics of provability. Zbl 0723.03006
Artemov, Sergej; Dzhaparidze, Giorgie
3
1990
On modal axiomatization of formal provability. Zbl 0726.03040
Artemov, S. N.
1
1988
Arithmetically complete modal theories. Zbl 0612.03013
Artemov, S. N.
1
1987
On modal logics axiomatizing provability. Zbl 0609.03005
Artemov, S. N.
2
1986
On modal logics axiomatizing provability. Zbl 0598.03012
Artemov, S. N.
5
1985
Nonarithmeticity of truth predicate logics of provability. Zbl 0605.03007
Artemov, S. N.
2
1985
On modal representations of extensions of Peano arithmetic. Zbl 0555.03010
Artemov, S. N.
1
1984
Applications of modal logic in proof theory. Zbl 0499.03046
Artemov, S. N.
3
1982
Arithmetically complete modal theories. Zbl 0463.03006
Artemov, S. N.
6
1980
all top 5

Cited by 206 Authors

18 Artemov, Sergei
13 Studer, Thomas
11 Kuznets, Roman
9 Fitting, Melvin Chris
6 Giordani, Alessandro
6 Rybakov, Vladimir Vladimirovich
5 Krupskiĭ, Vladimir Nikolaevich
5 Kurokawa, Hidenori
5 Milnikel, Robert Saxon
5 Renne, Bryan
5 Velázquez-Quesada, Fernando Raymundo
4 Beklemishev, Lev D.
4 Kurahashi, Taishi
4 Protopopescu, Tudor
4 Sedlár, Igor
4 van Benthem, Johan F. A. K.
4 Yu, Junhua
3 Bonelli, Eduardo
3 Bucheli, Samuel
3 Buss, Samuel R.
3 Dean, Walter
3 Kokkinis, Ioannis
3 Naumov, Pavel G.
3 Smets, Sonja J. L.
3 Visser, Albert
3 Wang, Ren-June
2 Achilleos, Antonis
2 Antonakos, Evangelia
2 Antoniou, Ioannis E.
2 Brünnler, Kai
2 Cabalar, Pedro
2 Chagrov, Aleksandr Vasil’evich
2 Fan, Tuan-Fang
2 Feller, Federico
2 Fernández Duque, David
2 Fervari, Raul
2 Ghari, Meghdad
2 Goris, Evan
2 Iemhoff, Rosalie
2 Ioannidis, Evangelos E.
2 Japaridze, Giorgi
2 Kohlenbach, Ulrich Wilhelm
2 Kramer, Simon
2 Krupski, Nikolai V.
2 Liau, Churn-Jung
2 Litak, Tadeusz
2 Ognjanović, Zoran
2 Pacuit, Eric
2 Pouliasis, Konstantinos
2 Primiero, Giuseppe
2 Shi, Chenwei
2 Steren, Gabriela
2 Tao, Jia
2 Varsakelis, Nikos
2 Wang, Yanjing
2 Yavorskii, Rostislav Eduardovich
1 Abriola, Sergio
1 Aldini, Alessandro
1 Amir-Mohammadian, Sepehr
1 Baaz, Matthias
1 Bakhshi, Rena
1 Balbiani, Philippe
1 Baltag, Alexandru
1 Baur, Michael
1 Bednarczyk, Bartosz
1 Bickford, Mark
1 Blass, Andreas Raphael
1 Borg, Annemarie
1 Brezhnev, Vladimir
1 Brogi, Cosimo Perini
1 Centrone, Stefania
1 Chiffi, Daniele
1 Constable, Robert Lee
1 Cooper, Martin C.
1 d’Avila Garcez, Artur S.
1 DeBoer, Neil J.
1 Demri, Stéphane P.
1 Descotte, María Emilia
1 Dr. Giordani, Alessandro
1 Džamonja, Mirna
1 Dzhaparidze, Giorgie
1 Égré, Paul
1 Endrullis, Jörg
1 Estrada-González, Luis
1 Fandinno, Jorge
1 Ferenczi, Miklós
1 Figueira, Santiago
1 Fink, Michael
1 Flaminio, Tommaso
1 Friedman, Sy-David
1 Gabbay, Dov M.
1 Gaifman, Haim
1 Garola, Claudio
1 Goetschi, Remo
1 Goryachev, S. V.
1 Graziani, Pierluigi
1 Grossi, Davide
1 Gurevich, Yuri
1 Hagemeier, Christian
1 Hájek, Petr
...and 106 more Authors

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.