Das Buch bietet Studierenden und Praktikern eine solide Grundlage zum Verständnis wichtiger Aspekte der Mathematischen Logik, insbesondere der modalen Logik, die aufbauend auf der Aussagenlogik und der Prädikatenlogik erster Stufe behandelt wird. Die wesentlichen Eigenschaften dieser Logiken, insbesondere Korrektheit und Vollständigkeit, werden herausgearbeitet. Der Fokus liegt dabei auf den Anforderungen der modernen Softwaretechnik. Das Buch kann auch von Studierenden der Informatik und der Mathematik und allen, die sich für Logik interessieren, mit Gewinn gelesen werden. Die Darstellung ist ein lebendiger Dialog zwischen den Akteuren Trullo und Charlie und unterscheidet sich damit bewusst von traditionellen Lehrbüchern. Der Dialog hilft Leserinnen und Lesern, die eigene Motivation zu stärken, selbstständig Fragen zu formulieren – und Antworten zu finden. So lassen sich Verständnisbarrieren leichter überwinden. Der Inhalt - Einleitung - Aussagenlogik - Prädikatenlogik erster Stufe - Modale Logik - Hilfsmittel   Der Autor Prof. Dr. Ernst-Erich Doberkat studierte Mathematik und Philosophie in Bochum, promovierte in Mathematik und habilitierte in Informatik. Er war Professor in den USA, war dreißig Jahre Ordinarius für Praktische Informatik an deutschen Universitäten, lehrte dort Programmierung, Software Engineering und gelegentlich Mathematik. Er unterrichtete auch in Italien und in China und erhielt Rufe auf Lehrstühle u.a. in Dublin und Peking. Er lebt jetzt als Emeritus mit seiner Frau im unterfränkischen Schweinfurt.