Advances in Modal Logic: Volume 1 Contributor(s): Kracht, Marcus (Editor), Rijke, Maarten de (Editor), Wansing, Heinrich (Editor) |
|||
ISBN: 1575861038 ISBN-13: 9781575861036 Publisher: Center for the Study of Language and Informat
Binding Type: Hardcover - See All Available Formats & Editions Published: June 1998 * Out of Print * Click for more in this series: Lecture Notes |
Additional Information |
BISAC Categories: - Mathematics | Logic - Mathematics | Applied - Computers | Computer Science |
Dewey: 160 |
LCCN: 97043235 |
Series: Lecture Notes |
Physical Information: 400 pages |
Features: Bibliography, Illustrated, Index |
Descriptions, Reviews, Etc. |
Publisher Description: Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics. This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8-10, 1996. It offers an up-to-date perspective on the field, with contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings. |
Customer ReviewsSubmit your own review |
To tell a friend about this book, you must Sign In First! |