Advances in Modal Logic, Volume 3

[Advances in Modal Logic, volume 3]

Frank Wolter,
Heinrich Wansing,
Maarten de Rijke, and
Michael Zakharyaschev, editors

World Scientific, 2002

ISBN 981-238-179-1

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.

Table of Contents