Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




Seminars "Proof Theory" and "Logic Online Seminar"
November 28, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
 


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
Video records:
MP4 255.0 Mb

Number of views:
This page:178
Video files:46



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.
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024