Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt?

تمرکز بر تنش بین، از یک سو، رویکرد منطقی مرسوم با عباراتی مانند امضا، ساختار، ارزش صدق، و از سوی دیگر، عبارت پویاتر محاسبات است، یعنی بین معناشناسی و نحو. چگونگی غلبه بر این شکاف برای منطق های غیر کلاسیک مختلف نشان داده شده است: منطق محمول، معین، زمانی، غیر یکنواخت، منطق معرفتی و غیره.
به‌ویژه، این همچنین یک مرور کلی مقدماتی از منطق‌هایی را ارائه می‌دهد که در برخی از زمینه‌های علوم کامپیوتر مورد نیاز است، اما کسی نمی‌خواهد یک کتاب کامل برای درک آن بخرد. این کتاب شامل یک رویکرد واحد به منطق های مختلف است.

Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere.
Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.