|
|
libcats.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.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Spinning the Semantic Web: Bringing the World Wide Web to Its Full PotentialАвтор: Dieter Fensel, Автор: Wolfgang Wahlster, Автор: Henry Lieberman, Автор: James Hendler
Размер книги: 7.80 Mb
Русская философия истории. Курс лекцийАвтор: Новикова Л.И., Автор: Сиземская И.Н.Категория: Философия логика этика
Размер книги: 4.41 Mb
Материаловедение: Учеб. пособиеАвтор: Загуляева С.В., Автор: Макашова Л.С.Категория: Машиностроение
Размер книги: 19.94 Mb
Writing Research: Transforming Data into TextАвтор: Judith Clare, Автор: Helen HamiltonКатегория: Математика, Алгоритмы и структуры данных
Размер книги: 13.67 Mb
|
|
|