Dies ist ein fortgeschrittenes Lehrbuch aus dem Jahr 2001 über Modallogik, ein Gebiet, das in den späten 1970er Jahren die Aufmerksamkeit von Informatikern auf sich zog. Inzwischen haben Forscher in Bereichen wie Wirtschaftswissenschaften und Computerlinguistik ihren Wert erkannt. Das Buch ist sowohl für Anfänger als auch für erfahrene Leser mit zwei unterschiedlichen Tracks, die am Anfang jedes Kapitels deutlich ausgeschildert sind. Die Entwicklung ist mathematisch; Vorkenntnisse mit der Logik erster Ordnung und ihrer Semantik werden vorausgesetzt und die Vertrautheit mit den mathematischen Grundbegriffen der Mengenlehre ist erforderlich. Die Autoren konzentrieren sich auf die Verwendung modaler Sprachen als Werkzeuge zur Analyse der Eigenschaften relationaler Strukturen, einschließlich ihrer algorithmischen und algebraischen Aspekte, und auf Anwendungen in der Logik und Informatik wie Vollständigkeit, Berechenbarkeit und Komplexität. Drei Anhänge liefern grundlegende Hintergrundinformationen und es werden zahlreiche Übungen angeboten. Ideal für alle, die moderne Modallogik erlernen möchten. Sprache: Englisch