|
|
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
Только что пользователи скачали эти книги:
Real analysis: measure theory, integration, and Hilbert spacesАвтор: Elias M. Stein, Автор: Rami ShakarchiКатегория: Functional analysis
Размер книги: 1.88 Mb
A Commentary upon the Gospel according to S. Luke, by S. Cyril, Patriarch of Alexandria. Part IIАвтор: R. Payne Smith
Размер книги: 31.52 Mb
A Dictionary of InequalitiesАвтор: Peter Bullen P. S. BullenКатегория: Языкознание, Словари
Размер книги: 21.36 Mb
Color Atlas of Veterinary Pathology: General Morphological Reactions of Organs and Tissues 2nd EditionАвтор: Jaap E. Van Dijk DVM Dipl ECVO PhD, Автор: Erik Gruys DVM Dipl ECVP PhD, Автор: Johan M. V. M. Mouwen DVM Dipl ECVP PhD
Размер книги: 29.69 Mb
Экономика предприятия. Учебное пособие плюс практикумАвтор: В. Д. Грибов, Автор: В. П. ГрузиновКатегория: БИЗНЕС, НАУКА и УЧЕБА
Размер книги: 6.86 Mb
The Time Machines: The Story of the Science-Fiction Pulp Magazines from the beginning to 1950Автор: Mike Ashley
Размер книги: 3.07 Mb
|
|
|