RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Forthcoming seminars
Seminar calendar
List of seminars
Archive by years
Register a seminar

Search
RSS
Forthcoming seminars





You may need the following programs to see the files








Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
March 12, 2013 18:30, Moscow, MSU, auditorium 16-04
 


Modal logics of relations induced by Hamming distance

I. B. Shapirovskii

Number of views:
This page:73

Abstract: The talk is based on the joint paper with A. V. Kudinov and V. B. Shehtman.
We consider modal logics of sets of words with relations induced by the Hamming metric. We show that these logics are closely related to many-dimensional products of modal logics. We present results on (un)decidability, non-finite axiomatizability and completeness for these logics.

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017