|
Booksee.org
Advances in modal logicFrank Wolter, Heinrich Wansing, Maarten De Rijke, Michael ZakharyaschevAdvances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics.
Volume 3 presents substantial advances in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on "Advances in Modal Logic", held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic. Ссылка удалена правообладателем ---- 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
Изделие 2А42. Инструкция по эксплуатации. 2А42.00.000 Инструкция по эксплуатацииКатегория: Военная техника
3.41 Mb
#9
Химическая физика на пороге XXI векаШилов А.Е., Денисов Е.Т., Мержанов А.Г., Фортов В.Е., Гольданский В.И., Сергеев Г.Б., Варфоломеев С.Д., Семенов Н.Н., Barton D.H.R., Taylor D.K., Кузьмин М.Г., Рудаков Е.С., Волкова Л.К., Азатян В.В., Alemany P., Hoffman R., Boorse R.S., Burlitch J.M., Ми
3.00 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
|
|