Logikkalkle in der Informatik

Im Mittelpunkt steht das Spannungsverhltnis zwischen einerseits dem herkmmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalkls, also zwischen Semantik und Syntax. Wie dieser Graben berwunden wird, wird fr verschiedene auch nicht-klassische Logiken vorgefhrt: Prdikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einfhrende bersicht ber Logiken gegeben, die an manchen Stellen der Informatik bentigt werden, zu deren Verstndnis man sich aber kein ganzes spezielles Buch anschaffen mchte. Das Buch enthlt einen einheitlichen Ansatz fr verschiedene Logiken.