|
libcats.org
Many-dimensional modal logics: theory and applicationsA. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. GabbayModal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects.
Популярные книги за неделю:
#2
![]() Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#6
![]() Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахРоман Савин
5.26 Mb
#7
![]() Система упражнений по развитию способностей человека (Практическое пособие)Петров Аркадий НаумовичКатегория: Путь к себе
818 Kb
#10
![]() Тренажер по математике к учебнику Л.Г.Петерсон. 2 классМАРКО ПОЛОКатегория: ДЛЯ ДЕТЕЙ, НАУКА и УЧЕБА
173.06 Mb
Только что пользователи скачали эти книги:
#4
![]() Разработка и оформление конструкторской документации радиоэлектронной аппаратуры. СправочникРоманычева Э.Т. и др.
7.69 Mb
#8
![]() Профессиональная разработка в системе 1С: Предприятие 8Ажеронок В.А., Габец А.П., Гончаров Д.И. и др.
118.37 Mb
#9
![]() Serving the interests of justice: Amnesties, truth commissions and the International Criminal CourtRobinson, Darryl
177 Kb
|
|