Advances in Modal Logic, Volume 1
CSLI, 1998
Paper: 978-1-57586-102-9 | eISBN: 978-1-57586-812-7 | Cloth: 978-1-57586-103-6
Library of Congress Classification BC199.M6A38 1998
Dewey Decimal Classification 160
Paper: 978-1-57586-102-9 | eISBN: 978-1-57586-812-7 | Cloth: 978-1-57586-103-6
Library of Congress Classification BC199.M6A38 1998
Dewey Decimal Classification 160
ABOUT THIS BOOK | TOC
ABOUT THIS BOOK
Modal logic originated in philosophy as the logic of necessity and possibility. Nowadays it has reached a high level of mathematical sophistication and found 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.
"This collection is a useful resource for anyone working in modal logic. It contains both interesting surveys and cutting-edge technical results"
--Edwin D. Mares
The Bulletin of Symbolic Logic, March 2002
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.
"This collection is a useful resource for anyone working in modal logic. It contains both interesting surveys and cutting-edge technical results"
--Edwin D. Mares
The Bulletin of Symbolic Logic, March 2002
See other books on: Advances | Computer Science | Logic | Modality (Logic) | Volume 1
See other titles from CSLI
