Item description for Advances in Modal Logic Vol. 3 by Heinrich Wansing & Michael Zakharyaschev...
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.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Studio: World Scientific Publishing Company
Est. Packaging Dimensions: Length: 9.1" Width: 6.2" Height: 1" Weight: 1.25 lbs.
Publisher CSLI Publications
ISBN 9812381791 ISBN13 9789812381798
Availability 0 units.
More About Heinrich Wansing & Michael Zakharyaschev
Heinrich Wansing has an academic affiliation as follows - Universitat Leipzig.