Simplicial models for modal predicate logics

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.