×

zbMATH — the first resource for mathematics

Artemov, Sergei

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
Homepage: https://sartemov.ws.gc.cuny.edu/
External Links: MGP · Wikidata · Math-Net.Ru · dblp · GND
Documents Indexed: 88 Publications since 1980, including 19 Books
Reviewing Activity: 30 Reviews
Biographic References: 2 Publications

Publications by Year

Citations contained in zbMATH Open

48 Publications have been cited 395 times in 197 Documents Cited by Year
Explicit provability and constructive semantics. Zbl 0980.03059
Artemov, Sergei N.
113
2001
The logic of justification. Zbl 1205.03027
Artemov, Sergei
56
2008
Introducing justification into epistemic logic. Zbl 1088.03015
Artemov, Sergei; Nogina, Elena
35
2005
Justified common knowledge. Zbl 1094.03005
Artemov, Sergei
30
2006
Logic of proofs. Zbl 0796.03029
Artëmov, Sergei
26
1994
The ontology of justifications in the logical setting. Zbl 1255.03027
Artemov, Sergei N.
12
2012
Logical omniscience via proof complexity. Zbl 1225.03016
Artemov, Sergei; Kuznets, Roman
9
2006
Intuitionistic epistemic logic. Zbl 1408.03004
Artemov, Sergei; Protopopescu, Tudor
9
2016
The basic intuitionistic logic of proofs. Zbl 1117.03066
Artemov, Sergei; Iemhoff, Rosalie
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
Unified semantics for modality and \(\lambda\)-terms via proof polynomials. Zbl 1080.03037
Artemov, Sergei N.
6
2001
The intensional lambda calculus. Zbl 1132.03318
Artemov, Sergei; Bonelli, Eduardo
6
2007
On modal logics axiomatizing provability. Zbl 0598.03012
Artemov, S. N.
5
1985
Why do we need justification logic? Zbl 1317.03020
Artemov, Sergei
5
2011
On propositional quantifiers in provability logic. Zbl 0805.03009
Artemov, Sergej N.; Beklemishev, Lev D.
4
1993
Tracking evidence. Zbl 1287.03038
Artemov, Sergei
4
2010
Applications of modal logic in proof theory. Zbl 0499.03046
Artemov, S. N.
3
1982
The basic logic of proofs. Zbl 0802.03012
Artëmov, Sergej; Straßen, Tyko
3
1993
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
We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 1. Zbl 1202.03006
Artemov, Sergei (ed.); Barringer, Howard (ed.); d’Avila Garcez, Artur (ed.); Lamb, Luis C. (ed.); Woods, John (ed.)
3
2005
Justification logic. Zbl 1156.03318
Artemov, Sergei
3
2008
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
Justification logic. Reasoning with reasons. Zbl 07056607
Artemov, Sergei; Fitting, Melvin
3
2019
Nonarithmeticity of truth predicate logics of provability. Zbl 0605.03007
Artemov, S. N.
2
1985
On modal logics axiomatizing provability. Zbl 0609.03005
Artemov, S. N.
2
1986
Reflective \(\lambda\)-calculus. Zbl 1024.03015
Alt, Jesse; Artemov, Sergei
2
2001
Uniform provability realization of intuitionistic logic, modality and \(\lambda\)-terms. Zbl 0961.03055
Artemov, Sergei N.
2
1999
On first order logic of proofs. Zbl 1011.03045
Artemov, Sergei; Yavorskaya, Tatiana
2
2001
Back to the future: explicit logic for computer science (abstract). Zbl 1116.03312
Artemov, Sergei
2
2003
Discovering knowability: a semantic analysis. Zbl 1284.03024
Artemov, Sergei; Protopopescu, Tudor
2
2013
Arithmetically complete modal theories. Zbl 0612.03013
Artemov, S. N.
1
1987
On modal representations of extensions of Peano arithmetic. Zbl 0555.03010
Artemov, S. N.
1
1984
The logic of the Gödel proof predicate. Zbl 0806.03039
Artëmov, Sergej; Straßen, Tyko
1
1993
Referential data structures and labeled modal logic. Zbl 0964.03527
Artemov, Sergei; Krupski, Vladimir
1
1994
Provinces of logic determined. Essays in the memory of Alfred Tarski. Part I, II, III. Zbl 1065.03501
Adamowicz, Zofia (ed.); Artemov, Sergei (ed.); Niwiński, Damian (ed.); Orłowska, Ewa (ed.); Romanowska, Anna (ed.); Woleński, Jan (ed.)
1
2004
Embedding of the modal \(\lambda\)-calculus into the logic of proofs. Zbl 1079.03053
Artemov, S. N.
1
2003
Symmetric logic of proofs. Zbl 1133.03038
Artemov, Sergei
1
2008
On two models of provability. Zbl 1123.03052
Artemov, Sergei
1
2007
We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 2. Zbl 1202.03007
Artemov, Sergei (ed.); Barringer, Howard (ed.); d’Avila Garcez, Artur (ed.); Lamb, Luis C. (ed.); Woods, John (ed.)
1
2005
Topological semantics of justification logic. Zbl 1138.03015
Artemov, Sergei; Nogina, Elena
1
2008
The topology of justification. Zbl 1152.03015
Artemov, Sergei; Nogina, Elena
1
2008
On modal axiomatization of formal provability. Zbl 0726.03040
Artemov, S. N.
1
1988
On aggregating probabilistic evidence. Zbl 06751228
Artemov, Sergei
1
2016
Logical omniscience as infeasibility. Zbl 06244762
Artemov, Sergei; Kuznets, Roman
1
2014
Justification awareness models. Zbl 06856636
Artemov, Sergei
1
2018
Justification logic. Reasoning with reasons. Zbl 07056607
Artemov, Sergei; Fitting, Melvin
3
2019
Justification awareness models. Zbl 06856636
Artemov, Sergei
1
2018
Intuitionistic epistemic logic. Zbl 1408.03004
Artemov, Sergei; Protopopescu, Tudor
9
2016
On aggregating probabilistic evidence. Zbl 06751228
Artemov, Sergei
1
2016
Logical omniscience as infeasibility. Zbl 06244762
Artemov, Sergei; Kuznets, Roman
1
2014
Discovering knowability: a semantic analysis. Zbl 1284.03024
Artemov, Sergei; Protopopescu, Tudor
2
2013
The ontology of justifications in the logical setting. Zbl 1255.03027
Artemov, Sergei N.
12
2012
Why do we need justification logic? Zbl 1317.03020
Artemov, Sergei
5
2011
Tracking evidence. Zbl 1287.03038
Artemov, Sergei
4
2010
The logic of justification. Zbl 1205.03027
Artemov, Sergei
56
2008
Justification logic. Zbl 1156.03318
Artemov, Sergei
3
2008
Symmetric logic of proofs. Zbl 1133.03038
Artemov, Sergei
1
2008
Topological semantics of justification logic. Zbl 1138.03015
Artemov, Sergei; Nogina, Elena
1
2008
The topology of justification. Zbl 1152.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
6
2007
On two models of provability. Zbl 1123.03052
Artemov, Sergei
1
2007
Justified common knowledge. Zbl 1094.03005
Artemov, Sergei
30
2006
Logical omniscience via proof complexity. Zbl 1225.03016
Artemov, Sergei; Kuznets, Roman
9
2006
Introducing justification into epistemic logic. Zbl 1088.03015
Artemov, Sergei; Nogina, Elena
35
2005
We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 1. Zbl 1202.03006
Artemov, Sergei; Barringer, Howard; d’Avila Garcez, Artur; Lamb, Luis C.; Woods, John
3
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 2. Zbl 1202.03007
Artemov, Sergei; Barringer, Howard; d’Avila Garcez, Artur; Lamb, Luis C.; Woods, John
1
2005
Provinces of logic determined. Essays in the memory of Alfred Tarski. Part I, II, III. Zbl 1065.03501
Adamowicz, Zofia; Artemov, Sergei; Niwiński, Damian; Orłowska, Ewa; Romanowska, Anna; Woleński, Jan
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.
113
2001
Unified semantics for modality and \(\lambda\)-terms via proof polynomials. Zbl 1080.03037
Artemov, Sergei N.
6
2001
Reflective \(\lambda\)-calculus. Zbl 1024.03015
Alt, Jesse; Artemov, Sergei
2
2001
On first order logic of proofs. Zbl 1011.03045
Artemov, Sergei; Yavorskaya, Tatiana
2
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
26
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.
4
1993
The basic logic of proofs. Zbl 0802.03012
Artëmov, Sergej; Straßen, Tyko
3
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 166 Authors

17 Artemov, Sergei
11 Kuznets, Roman
9 Fitting, Melvin Chris
9 Studer, Thomas
6 Rybakov, Vladimir Vladimirovich
5 Krupskiĭ, Vladimir Nikolaevich
5 Kurokawa, Hidenori
5 Milnikel, Robert Saxon
4 Beklemishev, Lev D.
4 Giordani, Alessandro
4 Kurahashi, Taishi
4 Protopopescu, Tudor
4 Renne, Bryan
4 van Benthem, Johan F. A. K.
4 Yu, Junhua
3 Bonelli, Eduardo
3 Bucheli, Samuel
3 Buss, Samuel R.
3 Dean, Walter
3 Naumov, Pavel G.
3 Sedlár, Igor
3 Velázquez-Quesada, Fernando Raymundo
3 Visser, Albert
3 Wang, Ren-June
2 Achilleos, Antonis
2 Antonakos, Evangelia
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 Ghari, Meghdad
2 Goris, Evan
2 Iemhoff, Rosalie
2 Japaridze, Giorgi
2 Kohlenbach, Ulrich Wilhelm
2 Kokkinis, Ioannis
2 Kramer, Simon
2 Krupski, Nikolai V.
2 Liau, Churn-Jung
2 Litak, Tadeusz
2 Pacuit, Eric
2 Pouliasis, Konstantinos
2 Primiero, Giuseppe
2 Smets, Sonja J. L.
2 Steren, Gabriela
2 Tao, Jia
2 Yavorskaya, Tatiana
2 Yavorskii, Rostislav Eduardovich
1 Abriola, Sergio
1 Amir-Mohammadian, Sepehr
1 Antoniou, Ioannis E.
1 Baaz, Matthias
1 Bakhshi, Rena
1 Balbiani, Philippe
1 Baltag, Alexandru
1 Bickford, Mark
1 Blass, Andreas Raphael
1 Borg, Annemarie
1 Brezhnev, Vladimir
1 Chiffi, Daniele
1 Constable, Robert Lee
1 d’Avila Garcez, Artur S.
1 Descotte, María Emilia
1 Dr. Giordani, Alessandro
1 Džamonja, Mirna
1 Dzhaparidze, Giorgie
1 Endrullis, Jörg
1 Fandinno, Jorge
1 Ferenczi, Miklós
1 Fervari, Raul
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 Grossi, Davide
1 Gurevich, Yuri
1 Hájek, Petr
1 Halbach, Volker
1 Halpern, Joseph Yehuda
1 Hamami, Yacin
1 Helzner, Jeffrey
1 Hendricks, Vincent F.
1 Hendriks, Dimitri
1 Heylen, Jan
1 Hill, Brian
1 Hoshi, Tomohiro
1 Hu, Tai-Wei
1 Im, Hyeonseung
1 Ioannidis, Evangelos E.
1 Iwata, Sohei
1 Kaneko, Mamoru
1 Kari, Chadi
1 Kechris, Alexander S.
...and 66 more Authors

Citations by Year

Wikidata Timeline

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