Advances In Modal Logic, Volume 3 - Hardcover

 
9789812381798: Advances In Modal Logic, Volume 3
Hardcover
ISBN 10: 9812381791 ISBN 13: 9789812381798
Publisher: World Scientific Publishing Co Pte Ltd, 2002

Synopsis

Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. 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.

"synopsis" may belong to another edition of this title.

Product Description

Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. 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.

"About this title" may belong to another edition of this title.

Publisher
World Scientific Publishing Co Pte Ltd
Publication date
2002
Language
English
ISBN 10 
9812381791
ISBN 13 
9789812381798
Binding
Hardcover
Number of pages
424
Editor
De Rijke Maarten, Wansing Heinrich, Wolter Frank, Zakharyaschev Michael