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"
May 16, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
 


On modal logics of model-theoretic relations

D. I. Saveliev

Institute for Information Transmission Problems, Russian Academy of Sciences
Video records:
MP4 360.6 Mb

Number of views:
This page:151
Video files:44



Abstract: Given a class of models, a binary relation between models, and a model-theoretic language, we consider the modal logic and the modal algebra of the theory of the class in the language interpreting the modal operator via this relation. We discuss how modal theories of given classes and relations depend on model-theoretic languages, their Kripke completeness, the expressibility and non-expressibility of the modality inside various languages, and prove a downward Löwenheim – Skolem theorem for first-order language expanded with the modal operator for the extension relation between models. We define the robust modal theory of a relation on a class as the theory that does not change under increasing expressibility of the model-theoretic language, and calculate robust theories for the submodel and the quotient relations on various classes of models.

References
  1. Denis I. Saveliev, Ilya B. Shapirovsky, “On modal logics of model-theoretic relations”, Studia Logica, 108 (2020), 989–1017
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024