|
|
Seminars
"Proof Theory" and "Logic Online Seminar"
March 18, 2024 18:30–20:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
О расширении модального исчисления предикатов QGL с помощью нефундированных доказательств
D. S. Shamkanova, P. Razumnyb a Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
b Moscow Institute of Physics and Technology (State University), Dolgoprudny, Moscow region
|
Video records: |
|
MP4 |
1,225.8 Mb |
|
MP4 |
3,066.5 Mb |
Number of views: |
This page: | 110 | Video files: | 30 |
|
|
|