|
СТ |
Symmetric Logic of Proofs |
2008 |
Artemov S. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
15.04.2008 |
|
СТ |
Data storage interpretation of labeted modal logic |
2004 |
Artemov S., Krupski V. |
|
|
|
Moscow Computer Sience School 2004 |
29.10.2004 |
|
СТ |
On First Order Logic of Proofs |
2004 |
Artemov S., Yavorskaya T. |
|
|
|
Moscow Computer Sience School 2004 |
29.10.2004 |
|
СТ |
Reflective Lambda-calculus |
2004 |
Alt J., Artemov S. |
|
|
|
Moscow Computer Sience School 2004 |
29.10.2004 |
|
СТ |
Logoc of knowledge with jastifications |
2004 |
Artemov S., Kazakov E., Shapiro D. |
|
|
|
Moscow Computer Sience School 2004 |
29.10.2004 |
|
СТ |
Referential Data Structures and Labeled Modal Logic |
1994 |
Artemov S., Krupski V. |
|
|
|
Lecture Notes in Computer Science |
27.07.1994 |
|
СТ |
The Basic Logic of Proofs |
1993 |
Artemov S., Strassen T. |
|
|
|
Lecture Notes in Computer Science |
06.11.1993 |
|
СТ |
The Logic of the Godel Proof Predicate |
1993 |
Artemov S., Strassen T. |
|
|
|
Lecture Notes in Computer Science |
21.09.1993 |
