| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Seminars
"Proof Theory" and "Logic Online Seminar"
|
|||
|
|
|||
|
Simplicial models for modal predicate logics V. B. Shehtmanabc a Institute for Information Transmission Problems, Russian Academy of Sciences b HSE University, Moscow c Lomonosov Moscow State University |
|||
|
Abstract: Simplicial semantics for modal predicate logics was introduced by D.P. Skvortsov in 1990. In the talk we will recall the definition of simplicial models, soundness and completeness theorems. We will show how to construct simplicial models from nerves of groupoids and apply this construction to study of predicate logics. |
|||