Advances in Modal Logic, Volume 2 (Volume 118) (Lecture Notes) - Hardcover

Hardcover

ISBN 10: 1575862719 ISBN 13: 9781575862712

Publisher: Center for the Study of Language and Information, 2001

Synopsis

Modal Logic, originally conceived as the logic of necessity and possibility, has developed into a powerful mathematical and computational discipline. It is the main source of formal languages aimed at analyzing complex notions such as common knowledge and formal provability. Modal and modal-like languages also provide us with families of restricted description languages for relational and topological structures; they are being used in many disciplines, ranging from artificial intelligence, computer science and mathematics via natural language syntax and semantics to philosophy.

This volume presents a broad and up-to-date view of the field, with contributions covering both the foundations of modal logic itself and each of the aforementioned application areas. Complemented with an editorial introduction covering the roots of modal logic, this book is indispensable for any advanced student and researcher in non-classical logic and its applications.

Edition details

• Publisher: Center for the Study of Language and Information
• Publication date: 2001
• Language: English
• ISBN 10: 1575862719
• ISBN 13: 9781575862712
• Binding: Hardcover
• Number of pages: 485
• Editor: Zakharyaschev Michael, Segerberg Krister, De Rijke Maarten, Wansing Heinrich