| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Seminars
"Proof Theory" and "Logic Online Seminar"
|
|||
|
|
|||
|
Completeness for modal predicate logics V. B. Shehtmanab a National Research University Higher School of Economics, Moscow b Moscow Institute of Physics and Technology (State University), Dolgoprudny, Moscow region |
|||
|
Abstract: In modal predicate logic the problem of semanticaI completeness is very nontrivial. Kripke semantics is too weak, and it is not clear how to improve it. In this talk we give a brief overview of the field and present proofs of some recent results on completeness and incompleteness. An earlier version of the talk was given at Workshop on first-order modal and temporal logics (Ljubljana 2023). Language: English |
|||