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

Search
RSS
Forthcoming seminars






Colloquium of the Faculty of Computer Science
September 20, 2016 18:10–19:30, Moscow
 


Strictly positive fragments of modal and description logic

L. D. Beklemishevab

a National Research University "Higher School of Economics" (HSE), Moscow
b Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

Number of views:
This page:166

Abstract: In this talk we will advocate the use of weak systems of modal logic called strictly positive. These can be seen as fragments of polymodal logic consisting of implications of the form A → B, where A and B are formulas built-up from T (truth) and the variables using just & and the diamond modalities. The interest towards such fragments emerged around 2010 independently in two different areas: in description logic and in the area of proof-theoretic applications of modal logic.
From the point of view of description logic, strictly positive fragments correspond to the OWL 2 EL profile of the OWL web ontology language, for which various properties of ontologies can be decided in polynomial time. In the area of proof-theortic applications, these fragments emerged under the name reflection calculi, as they proved to be a convenient tool to study the independent reflection principles in arithmetic and to calculate proof-theoretic ordinals of formal systems.
Thus, in two different areas strictly positive languages and logics proved to combine both efficiency and simplicity, and sufficient expressive power. In this talk we discuss general problems around weak systems of this kind and describe some of their applications.

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