Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Artemov, Sergei
69  Ergebnisse:
Personensuche X
?
1

2024 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC: ..:

Artemov, Sergei
The Bulletin of Symbolic Logic.  30 (2024)  1 - p. 172-175 , 2024
Link: https://www.jstor.org/st..
 
?
2

Editorial:

Artemov, Sergei ; Nerode, Anil
Journal of Logic and Computation.  32 (2022)  8 - p. 1486-1486 , 2022
Link: https://doi.org/10.1093/..
 
?
3

Logical Foundations of Computer Science: International Symp.. 

Theoretical Computer Science and General Issues, 13137
Artemov, Sergei ; Nerode, Anil - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
4

Logical Foundations of Computer Science: International Symp.. 

Theoretical Computer Science and General Issues, 11972
Artemov, Sergei ; Nerode, Anil - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
5

Editorial:

Artemov, Sergei ; Nerode, Anil
Journal of Logic and Computation.  30 (2020)  8 - p. 1429-1429 , 2020
Link: https://doi.org/10.1093/..
 
?
6

Editorial:

Artemov, Sergei ; Nerode, Anil
Journal of Logic and Computation.  31 (2020)  1 - p. 1-1 , 2020
Link: https://doi.org/10.1093/..
 
?
7

On aggregating probabilistic evidence:

Artemov, Sergei
Journal of Logic and Computation.  30 (2020)  1 - p. 61-76 , 2020
Link: https://doi.org/10.1093/..
 
?
8

Special Issue on Logical Foundations of Computer Science:

Nerode, Anil ; Artemov, Sergei
Journal of Logic and Computation.  30 (2020)  1 - p. 1-1 , 2020
Link: https://doi.org/10.1093/..
 
?
9

Justification awareness:

Artemov, Sergei
Journal of Logic and Computation.  30 (2020)  8 - p. 1431-1446 , 2020
Link: https://doi.org/10.1093/..
 
?
10

Observable Models:

, In: Logical Foundations of Computer Science; Lecture Notes in Computer Science,
Artemov, Sergei - p. 12-26 , 2019
Link: https://doi.org/10.1007/..
 
?
11

Logical Foundations of Computer Science 

International Symposium, LFCS 2018, Deerfield Beach, FL, US...  Lecture Notes in Computer Science ; 10703;Theoretical Computer Science and General Issues ; 10703;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Artemov, Sergei ; Nerode, Anil , 2018
Link: https://doi.org/10.1007/..
 
?
12

Constructive knowledge and the justified true belief paradi..:

Artemov, Sergei
Indagationes Mathematicae.  29 (2018)  1 - p. 125-134 , 2018
Link: https://doi.org/10.1016/..
 
?
13

Logical Foundations of Computer Science 

International Symposium, LFCS 2016, Deerfield Beach, FL, US...  Lecture Notes in Computer Science ; 9537;Theoretical Computer Science and General Issues ; 9537;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Artemov, Sergei ; Nerode, Anil - 1st ed. 2016 . , 2016
Link: https://doi.org/10.1007/..
 
?
14

INTUITIONISTIC EPISTEMIC LOGIC:

ARTEMOV, SERGEI ; PROTOPOPESCU, TUDOR
The Review of Symbolic Logic.  9 (2016)  2 - p. 266-298 , 2016
Link: https://doi.org/10.1017/..
 
?
15

Logical omniscience as infeasibility:

Artemov, Sergei ; Kuznets, Roman
Annals of Pure and Applied Logic.  165 (2014)  1 - p. 6-25 , 2014
Link: https://doi.org/10.1016/..
 
1-15