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

Nucleation (Butterworth 2000)

Автор:
Категория: Phase transitions
Размер книги: 4.70 Mb

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

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

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

02 Dragons Of Winter Night

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

Howard, Robert E. - Sports 1930 - Sailors' Grudge

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

Forensic Chemistry

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

The Birth of Numerical Analysis

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

Love Songs

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

Le peche monetaire de l'occident

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

War, Conflict and Play (Debating Play)

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

Not In Our Genes: Biology, Ideology and Human Nature

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

The Earth and Its Peoples: A Global History

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