libcats.org
Главная

Advances in modal logic

Обложка книги Advances in modal logic

Advances in modal logic

, , ,
Advances 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.
Популярные книги за неделю:

Станислав Гимадеев. Принцип четности

Автор:
Размер книги: 829 Kb

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Вместо послесловия

Автор:
Категория: Детектив
Размер книги: 10 Kb

Microsoft SharePoint 2007 Development Unleashed

Автор: , Автор:
Размер книги: 8.43 Mb

No Ordinary Groom

Автор:
Категория: fiction
Размер книги: 351 Kb

God King

Автор:
Категория: fiction
Размер книги: 933 Kb

[ss] The Fantastical Tales of Ben Phelan- Story 1

Автор:
Категория: fiction
Размер книги: 70 Kb