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

Каникулы

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

Зло нарастает

Автор:
Категория: Ужасы и Мистика
Размер книги: 757 Kb

Момент истины. В августе 44-го

Автор:
Категория: ИСТОРИЯ
Размер книги: 1.52 Mb

Representing Health

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

Mein Kampf

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

Автор:
Категория: Biology
Размер книги: 15.47 Mb

Gecon-ISAF

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

Electromagnetic vector potential

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

Encyclopedia of Cities of the World

Автор:
Категория: Encyclopedia
Размер книги: 68.38 Mb

Programming in Oberon: Steps Beyond Pascal and Modula

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

A Culture of Fact: England, 1550-1720

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

Complex variables and applications, Student solutions manual

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