|
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.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#3
Подготовка и переработка углеводородных газа и конденсата. Технологии и оборудование.Зиберт Г.К., Седых А.Д., Кащицкий Ю.А., Михайлов Н.В., Демин В.М.
4.15 Mb
#4
Быстрая разработка программ: принципы, примеры, практикаРоберт К. Мартин, Джеймс В. Ньюкирк, Роберт С. Косс
6.58 Mb
#8
Указания по военной неврологии и психиатрииАкимов Г.А.Категория: Медицина и здравоохранение
20.16 Mb
#9
Химия: Сборник задач и упражненийАбакумова Р.А., Акимов Л.И., Андреева Н.А., Бальмаков М.Д., Гончарова И.В., Инчик В.В., Миронов А.М., Миронов Д.А., Павлов А.И., Сувернева О.Л., Ухина А.В., Халина О.М.Категория: Химия
2.87 Mb
|
|