Editor: Zakharyaschev, Michael; Editor: Segerberg, Krister
Hardback; Book
490 pages
Published: February 2001
The University of Chicago Press
ISBN: 1575862719

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 aThis volume presents a broad, contemporary view of the field of modal logic, with contributions covering its foundations as well as its many application areas, such as artificial intelligence, computer science and mathematics via natural language syntax and semantics to philosophy.