| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
|
|||
|
On a neighborhood semantics of Lindström provability logic [Об окрестностной семантике логики доказуемости Линдстрёма] Д. С. Шамканов |
|||
|
Аннотация: Я рассмотрю одну из бимодальных пропозициональных логик, а именно логику доказуемости Линдстрёма, расширенную нефундированными выводами, и обсужу окрестностную семантику этой системы. Я планирую показать, что эта логика окрестностно полна относительно глобального отношения семантического следования. Язык доклада: английский |
|||
