|
|
libcats.org
Many-Dimensional Modal Logics: Theory and ApplicationsDov 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.To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Mr. Midshipman HornblowerАвтор: Forester Cecil ScottКатегория: Морские приключения
Размер книги: 546 Kb
Лев Анатольевич Скорняков. Системы линейных уравнений ("Популярные лекции по математике", djvu, #59)Автор:
Размер книги: 423 Kb
Greener Than Thou: Are You Really An Environmentalist?Автор: Terry L. Anderson, Автор: Laura E. Huggins
Размер книги: 1.33 Mb
Основы гистологической техникиАвтор: Д. Э. Коржевский, Автор: А. В. Гиляров Город: МоскваКатегория: ЗДОРОВЬЕ, НАУКА и УЧЕБА
Размер книги: 35.97 Mb
|
|
|