RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Video Library
Archive
Most viewed videos

Search
RSS
New in collection





You may need the following programs to see the files






The eighth International сonference "Advances in Modal Logic" (AiML 2010)
August 26, 2010 09:50, Moscow
 


Logics of space with connectedness predicates: complete axiomatizations

Tinko Tinchev, Dimiter Vakarelov
Video records:
Windows Media 235.1 Mb
Flash Video 397.3 Mb
MP4 397.3 Mb

Number of views:
This page:392
Video files:174

Tinko Tinchev, Dimiter Vakarelov


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Abstract: In this paper we present a complete quantifier-free axiomatization of several logics on region-based theory of space based on contact relation and connectedness predicates. We prove completeness theorems for the logics in question with respect to three different semantics: algebraic – with respect to several important classes of contact algebras, topological – based on the contact algebras over various classes of topological spaces, and relational semantics with respect to Kripke frames with reflexive and symmetric relations.

Language: English

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