Artemov, Sergei: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

THE LOGIC OF JUSTIFICATION

ARTEMOV, SERGEI

Journal:

The Review of Symbolic Logic

Year:

2008

Language:

english

File:

PDF, 218 KB

english, 2008

2

Justification Logic (Reasoning with Reasons) || Going Past Modal Logic

Artemov, Sergei, Fitting, Melvin

Year:

2019

Language:

english

File:

PDF, 136 KB

english, 2019

3

Justified common knowledge

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 304 KB

english, 2006

4

The Basic Intuitionistic Logic of Proofs

Sergei Artemov and Rosalie Iemhoff

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 993 KB

english, 2007

5

INTUITIONISTIC EPISTEMIC LOGIC

ARTEMOV, SERGEI, PROTOPOPESCU, TUDOR

Journal:

The Review of Symbolic Logic

Year:

2016

Language:

english

File:

PDF, 278 KB

english, 2016

6

Constructive knowledge and the justified true belief paradigm

Artemov, Sergei

Journal:

Indagationes Mathematicae

Year:

2017

Language:

english

File:

PDF, 289 KB

english, 2017

7

Justification Logic (Reasoning with Reasons) || Arithmetical Completeness and BHK Semantics

Artemov, Sergei, Fitting, Melvin

Year:

2019

Language:

english

File:

PDF, 180 KB

english, 2019

8

Justification Logic (Reasoning with Reasons) || The Range of Realization

Artemov, Sergei, Fitting, Melvin

Year:

2019

Language:

english

File:

PDF, 168 KB

english, 2019

9

Justification Logic (Reasoning with Reasons) || The Basics of Justification Logic

Artemov, Sergei, Fitting, Melvin

Year:

2019

Language:

english

File:

PDF, 158 KB

english, 2019

10

Justification Logic (Reasoning with Reasons) || Quantifiers in Justification Logic

Artemov, Sergei, Fitting, Melvin

Year:

2019

Language:

english

File:

PDF, 277 KB

english, 2019

11

Justification Logic (Reasoning with Reasons) || Sequents and Tableaus

Artemov, Sergei, Fitting, Melvin

Year:

2019

Language:

english

File:

PDF, 230 KB

english, 2019

12

Justification Logic (Reasoning with Reasons) || Realization – Generalized

Artemov, Sergei, Fitting, Melvin

Year:

2019

Language:

english

File:

PDF, 257 KB

english, 2019

13

Justification Logic (Reasoning with Reasons) || Fitting Models

Artemov, Sergei, Fitting, Melvin

Year:

2019

Language:

english

File:

PDF, 204 KB

english, 2019

14

Justification Logic (Reasoning with Reasons) || Introduction

Artemov, Sergei, Fitting, Melvin

Year:

2019

Language:

english

File:

PDF, 129 KB

english, 2019

15

Justification Logic (Reasoning with Reasons) || Index

Artemov, Sergei, Fitting, Melvin

Year:

2019

Language:

english

File:

PDF, 74 KB

english, 2019

16

Justification Logic (Reasoning with Reasons) || Realization – How It Began

Artemov, Sergei, Fitting, Melvin

Year:

2019

Language:

english

File:

PDF, 129 KB

english, 2019

17

Justification awareness

Artemov, Sergei

Journal:

Journal of Logic and Computation

Year:

2020

File:

PDF, 197 KB

2020

18

Logic of proofs

Sergei Artëmov

Journal:

Annals of Pure and Applied Logic

Year:

1994

Language:

english

File:

PDF, 2.21 MB

english, 1994

19

The Ontology of Justifications in the Logical Setting

Sergei N. Artemov

Journal:

Year:

2012

Language:

english

File:

PDF, 199 KB

english, 2012

20

Realization of Intuitionistic Logic by Proof Polynomials

Artemov, Sergei N.

Journal:

Journal of Applied Non-Classical Logics

Year:

1999

Language:

english

File:

PDF, 745 KB

english, 1999

21

[Studies in Logic and Practical Reasoning] Handbook of Modal Logic Volume 3 || 16 Modal logic in mathematics

Artemov, Sergei

Year:

2007

Language:

english

File:

PDF, 493 KB

english, 2007

22

Boolos George. The logic of provability. Cambridge University Press, Cambridge, New York, and Melbourne, 1993, xxxvi + 276 pp.

Artemov, Sergei N.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 331 KB

english, 1995

23

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

Artemov, Sergei, Nerode, Anil

Year:

2018

Language:

english

File:

PDF, 7.00 MB

english, 2018

24

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 10703 || The Completeness Problem for Modal Logic

Artemov, Sergei, Nerode, Anil

Year:

2018

Language:

english

File:

PDF, 338 KB

english, 2018

25

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 10703 || Interpretations of Presburger Arithmetic in Itself

Artemov, Sergei, Nerode, Anil

Year:

2018

Language:

english

File:

PDF, 264 KB

english, 2018

26

Justification Logic (Reasoning with Reasons) || Why Justification Logic?

Artemov, Sergei, Fitting, Melvin

Year:

2019

Language:

english

File:

PDF, 123 KB

english, 2019

27

Justification Logic (Reasoning with Reasons) || The Ontology of Justifications

Artemov, Sergei, Fitting, Melvin

Year:

2019

Language:

english

File:

PDF, 159 KB

english, 2019

28

[IEEE 2018 IEEE International Conference on Data Mining Workshops (ICDMW) - Singapore, Singapore (2018.11.17-2018.11.20)] 2018 IEEE International Conference on Data Mining Workshops (ICDMW) - Learning Connectivity Patterns via Graph Kernels for fMRI-Based Depression Diagnostics

Sharaev, Maksim, Artemov, Alexey, Kondrateva, Ekaterina, Ivanov, Sergei, Sushchinskaya, Svetlana, Bernstein, Alexander, Cichocki, Andrzej, Burnaev, Evgeny

Year:

2018

Language:

english

File:

PDF, 1.38 MB

english, 2018

29

[IEEE 2018 IEEE International Conference on Data Mining Workshops (ICDMW) - Singapore, Singapore (2018.11.17-2018.11.20)] 2018 IEEE International Conference on Data Mining Workshops (ICDMW) - Learning Connectivity Patterns via Graph Kernels for fMRI-Based Depression Diagnostics

Sharaev, Maksim, Artemov, Alexey, Kondrateva, Ekaterina, Ivanov, Sergei, Sushchinskaya, Svetlana, Bernstein, Alexander, Cichocki, Andrzej, Burnaev, Evgeny

Year:

2018

File:

PDF, 1.38 MB

2018

30

Data storage interpretation of labeled modal logic

Sergei Artëmov, Vladimir Krupski

Journal:

Annals of Pure and Applied Logic

Year:

1996

Language:

english

File:

PDF, 919 KB

english, 1996

31

Preface

Sergei Artemov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser

Journal:

Annals of Pure and Applied Logic

Year:

1995

File:

PDF, 30 KB

1995

32

Preface

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 152 KB

english, 2009

33

Preface

Sergei Artemov, Yuri Matiyasevich, Grigori Mints, Anatol Slissenko

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 234 KB

english, 2010

34

Editorial

Zofia Adamowicz, Sergei Artemov, Damian Niwiński, Ewa Orłowska, Anna Romanowska, Jan Woleński

Journal:

Annals of Pure and Applied Logic

Year:

2004

Language:

english

File:

PDF, 134 KB

english, 2004

35

WoLLIC’2002

Ruy de Queiroz, Bruno Poizat, Sergei Artemov

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 91 KB

english, 2005

36

Preface

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 187 KB

english, 2009

37

Foreword

Sergei Artemov, Volker Diekert, Dima Grigoriev

Journal:

Theory of Computing Systems

Year:

2008

Language:

english

File:

PDF, 105 KB

english, 2008

38

Preface

Sergei Artemov, Volker Diekert, Dima Grigoriev

Journal:

Theory of Computing Systems

Year:

2010

Language:

english

File:

PDF, 90 KB

english, 2010

39

Preface

Sergei Artemov, Volker Diekert, Alexander Razborov

Journal:

Theory of Computing Systems

Year:

2010

Language:

english

File:

PDF, 90 KB

english, 2010

40

Preface

Yuri Matiyasevich, Sergei Artemov

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 97 KB

english, 2006

41

Preface

Sergei Artemov, Michael Mislove

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 118 KB

english, 2006

42

Uniform provability realization of intuitionistic logic, modality and λ-terms

Sergei N. Artemov

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 510 KB

english, 1999

43

Preface

Sergei Artemov, Anil Nerode

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 126 KB

english, 2012

44

Explicit Provability and Constructive Semantics

Sergei N. Artemov

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 2.53 MB

english, 2001

45

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 7734 || Call-by-Value Non-determinism in a Linear Logic Type Discipline

Artemov, Sergei, Nerode, Anil

Year:

2013

Language:

english

File:

PDF, 284 KB

english, 2013

46

Discovering knowability: a semantic analysis

Sergei Artemov, Tudor Protopopescu

Journal:

Year:

2013

Language:

english

File:

PDF, 486 KB

english, 2013

47

The Dnepr Canyon: evidence for a continuous submarine channel link between the outer shelf and the deep-sea basin of the northwestern Black Sea

Sergei B. Gulin, Yuriy G. Artemov, Viktor N. Egorov…

Journal:

Geo-Marine Letters

Year:

2013

Language:

english

File:

PDF, 737 KB

english, 2013

48

Logical omniscience as infeasibility

Artemov, Sergei, Kuznets, Roman

Journal:

Annals of Pure and Applied Logic

Year:

2014

Language:

english

File:

PDF, 339 KB

english, 2014

49

Finite Kripke models and predicate logics of provability

Artemov, Sergei, Dzhaparidze, Giorgie

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 533 KB

english, 1990

50

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 7734 || Normal Forms for Multiple Context-Free Languages and Displacement Lambek Grammars

Artemov, Sergei, Nerode, Anil

Year:

2013

Language:

english

File:

PDF, 224 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски