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


Strictly positive fragments of K4 and its extensions

M. V. Svyatlovskiy

Moscow Institute of Physics and Technology (National Research University), Dolgoprudny, Moscow Region
Video records:
MP4 491.0 Mb

Number of views:
This page:149
Video files:32
Youtube:



Abstract: We consider two phenomena together. First, for any modal logic we can consider its strictly positive fragment, and sometimes two different modal logics have the same fragment; we then call them strictly positively equivalent. Second, all the normal extensions of K4 can be effectively classified by Zakharyashev's notation of canonical frame formulas. We would like then to characterize the set of normal modal logics strictly positively equivalent to K4. Obvilusly, K4 is the minimal logic in this set, so we are more interested in its maximal elements. In this talk we will present a partial answer on how this set looks like; in particular, we will prove that it does not have a unique greatest element.

Language: English
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024