Advances in Modal Logic - Couverture souple

Couverture souple

ISBN 10 : 1575862727 ISBN 13 : 9781575862729

Editeur : Centre for the Study of Language & 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.

Détails de l'édition

• Éditeur: Centre for the Study of Language & Information
• Date d'édition: 2001
• ISBN 10: 1575862727
• ISBN 13: 9781575862729
• Reliure: Broché
• Langue: anglais
• Nombre de pages: 485
• Éditeur: Zakharyaschev Michael, Segerberg Krister, De Rijke Maarten, Wansing Heinrich
• Coordonnées du fabricant: non disponible