|
|
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.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Physiology of CottonАвтор: James McD. Stewart, Автор: Derrick Oosterhuis, Автор: James J. Heitholt, Автор: Jack R. MauneyКатегория: Biology
Размер книги: 62.55 Mb
Сварка разнородных металловАвтор: Рабкин Д.М., Автор: Рябов В.Р., Автор: Гуревич С.М.
Размер книги: 9.69 Mb
Восковое моделирование окклюзионных поверхностей зубовАвтор: Шиллингбург Г., Автор: Уилсон Э., Автор: Моррисон Д.Категория: Медицина и здравоохранение
Размер книги: 10.24 Mb
Made to Stick: Why Some Ideas Survive and Others DieАвтор: Chip Heath, Автор: Dan Heath
Размер книги: 922 Kb
Switch: How to Change Things When Change Is HardАвтор: Chip Heath, Автор: Dan Heath
Размер книги: 4.02 Mb
Computer-mediated Relationships and Trust: Managerial and Organizational Effects (Premier Reference Source)Автор: Linda L. Brennan, Автор: Victoria E JohnsonКатегория: Компьютеры
Размер книги: 2.44 Mb
On-The-Job TrainingАвтор: John M. Barron, Автор: Mark C. Berger, Автор: Dan A. Black
Размер книги: 634 Kb
Medical Image Computing and Computer-Assisted Intervention, Part II - MICCAI 201Автор: Gabor Fichtinger, Автор: Anne Martel, Автор: Terry Peters
Размер книги: 33.24 Mb
|
|
|