Hallo,

kann jemand ein Buch fuer die Modallogik empfehlen? Bzw. weiss, auf welchem Buch die entsprechenden Kapitel im Skript basieren?

Nach den Pruefungsprotokollen prueft Herr Valk die Modallogik ja gerne ab (und sie selbst auch schon in PNL behandelt)..

Danke!
-Gunnar

Ich erinnere mich gerade dunkel, dass Frau Eschenbach irgendwelche .pdf-Dateinamen an die Tafel geschrieben hat, die mit Google zu finden waeren. Ich glaube, es handelte es sich dabei um Texte fuer die Modallogik. Weiss jemand mehr?

Danke!
-Gunnar

Im Buch von Huth & Ryan "Logic in Computing Science" ist das ganz
gut erklaert, wenn ich mich recht erinnere.

Gruss !

Ich erinnere mich gerade dunkel, dass Frau Eschenbach irgendwelche .pdf-Dateinamen an die Tafel geschrieben hat, die mit Google zu finden waeren. Ich glaube, es handelte es sich dabei um Texte fuer die Modallogik. Weiss jemand mehr?

Wenn ich gerade an die gleichen Dateien denke wie du,
war das ein Buch zu Beschreibungslogiken.

Modallogiken sind sonst auch in "Logic for Applications"
von Nerode und Shore (Springer-Verlag) erklärt. Dieses
Buch kann ich empfehlen. Wenn ich mich richtig erinnere,
gibt es allerdings kleine Unterschiede in den Notationen
und Begriffen (aber das ist wohl bei jedem Logik-Buch so).

Danke für die Antworten. Inzwischen habe ich gemerkt, daß die Modallogik, die im Skript beschrieben ist, eigentlich in jedem dickeren Buch wo Logik und in jedem Buch wo Modallogik draufsteht erklärt ist. Sind ja nur ein paar Definitionen..