E-LIB Suche - Ergebnisse für: Artemov, Sergei Nikolaevich

1

Gregory Samuilovich Tseytin (obituary):

Artemov, Sergei Nikolaevich ; Beklemishev, Lev Dmitrievich ; Borkin, L Ya...
Russian Mathematical Surveys. 78 (2023) 3 - p. 555-561 , 2023

Link: https://doi.org/10.4213/..

2

The Ontology of Justifications in the Logical Setting:

Artemov, Sergei N.
Studia Logica: An International Journal for Symbolic Logic. 100 (2012) 1/2 - p. 17-30 , 2012

Link: https://www.jstor.org/st..

3

Explicit Provability and Constructive Semantics:

Artemov, Sergei N.
The Bulletin of Symbolic Logic. 7 (2001) 1 - p. 1-36 , 2001

Link: https://www.jstor.org/st..

4

Uniform provability realization of intuitionistic logic, mo..:

Artemov, Sergei N.
Electronic Notes in Theoretical Computer Science. 23 (1999) 1 - p. 3-12 , 1999

Link: https://doi.org/10.1016/..

5

Discovering knowability: a semantic analysis:

Artemov, Sergei ; Protopopescu, Tudor
Synthese. 190 (2013) 16 - p. 3349-3376 , 2013

Link: https://www.jstor.org/st..

6

Discovering knowability: a semantic analysis:

Artemov, Sergei ; Protopopescu, Tudor
Synthese. 190 (2012) 16 - p. 3349-3376 , 2012

Link: https://doi.org/10.1007/..

7

Preface:

Artemov, Sergei ; Matiyasevich, Yuri ; Mints, Grigori.
Annals of Pure and Applied Logic. 162 (2010) 3 - p. 173-174 , 2010

Link: https://doi.org/10.1016/..

8

Preface:

Artemov, Sergei ; Diekert, Volker ; Razborov, Alexander
Theory of Computing Systems. 46 (2009) 4 - p. 619-619 , 2009

Link: https://doi.org/10.1007/..

9

Foreword:

Artemov, Sergei ; Diekert, Volker ; Grigoriev, Dima
Theory of Computing Systems. 43 (2007) 2 - p. 99-99 , 2007

Link: https://doi.org/10.1007/..

10

The Basic Intuitionistic Logic of Proofs:

Artemov, Sergei ; Iemhoff, Rosalie
The Journal of Symbolic Logic. 72 (2007) 2 - p. 439-451 , 2007

Link: https://www.jstor.org/st..

11

On First-Order Theories with Provability Operator:

Artëmov, Sergei ; Montagna, Franco
The Journal of Symbolic Logic. 59 (1994) 4 - p. 1139-1153 , 1994

Link: https://www.jstor.org/st..

12

Finite Kripke Models and Predicate Logics of Provability:

Artemov, Sergei ; Dzhaparidze, Giorgie
The Journal of Symbolic Logic. 55 (1990) 3 - p. 1090-1098 , 1990

Link: https://www.jstor.org/st..

13

Microfluidically Assisted Synthesis of Calcium Carbonate Su..:

Ermakov, Alexey V. ; Chapek, Sergei V. ; Lengert, Ekaterina V....
Micromachines. 15 (2023) 1 - p. 16 , 2023

Link: https://doi.org/10.3390/..

14

Structural and magnetic properties of Ni-Fe nanowires in th..:

Frolov, Kirill V. ; Chuev, Mikhail A. ; Lyubutin, Igor S....
Journal of Magnetism and Magnetic Materials. 489 (2019) - p. 165415 , 2019

Link: https://doi.org/10.1016/..

15

The Dnepr Canyon: evidence for a continuous submarine chann..:

Gulin, Sergei B. ; Artemov, Yuriy G. ; Egorov, Viktor N..
Geo-Marine Letters. 33 (2013) 4 - p. 319-324 , 2013

Link: https://doi.org/10.1007/..