Logikkalküle in der InformatikIm 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