Kripke's Worlds, Fachbücher von Andreas Herzig, Bilal Said, François Schwarzentruber, Olivier Gasquet

"Kripke's Worlds" ist ein Fachbuch, das sich mit den möglichen Weltenmodellen beschäftigt, die von Saul Kripke in den 1960er Jahren eingeführt wurden. Diese Modelle, die als Graphen mit beschrifteten Knoten und Kanten dargestellt werden, bieten eine semantische Grundlage für verschiedene modale Logiken, darunter alethische, temporale, epistemische und deontische Logiken. Das Buch untersucht die Anwendung dieser Logiken in der philosophischen und mathematischen Logik sowie in der Informatik, insbesondere in Bereichen wie Programmiersemantik und künstlicher Intelligenz. Es bietet eine umfassende Einführung in die Semantik möglicher Welten und die damit verbundenen logischen Systeme, wobei der Fokus auf der tableaux-Methode liegt. Diese Methode ermöglicht es, Modelle für logische Formeln zu überprüfen, indem ein Graph erstellt wird, der näher an einem Kripke-Modell ist als ein Baum. Die Autoren Olivier Gasquet, Andreas Herzig, Bilal Said und François Schwarzentruber präsentieren die Inhalte klar und strukturiert, um ein tiefes Verständnis der Materie zu fördern.