51

The basic intuitionistic logic of proofs

Artemov, Sergei, Iemhoff, Rosalie
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 855 KB
english, 2007
52

On first-order theories with provability operator

Artëmov, Sergei, Montagna, Franco
Journal:
Journal of Symbolic Logic
Year:
1994
Language:
english
File:
PDF, 881 KB
english, 1994
54

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 9537 ||

Artemov, Sergei, Nerode, Anil
Year:
2016
Language:
english
File:
PDF, 8.83 MB
english, 2016
60

Binding modalities

Artemov, Sergei N., Yavorskaya (Sidon), Tatiana
Journal:
Journal of Logic and Computation
Year:
2013
Language:
english
File:
PDF, 122 KB
english, 2013
61

2004 Annual Meeting of the Association for Symbolic Logic

Artemov, Sergei
Journal:
Bulletin of Symbolic Logic
Year:
2005
Language:
english
File:
PDF, 260 KB
english, 2005
62

Dedicated to the Memory of Leo Esakia || The Ontology of Justifications in the Logical Setting

Sergei N. Artemov
Journal:
Studia Logica
Year:
2012
Language:
english
File:
PDF, 984 KB
english, 2012
63

On propositional quantifiers in provability logic.

Artemov, Sergei N., Beklemishev, Lev D.
Journal:
Notre Dame Journal of Formal Logic
Year:
1993
Language:
english
File:
PDF, 1.71 MB
english, 1993
70

On aggregating probabilistic evidence

Artemov, Sergei
Journal:
Journal of Logic and Computation
Year:
2020
File:
PDF, 289 KB
2020