Kripke’s Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Kripke’s Worlds: An Introduction to Modal Logics via Tableaux" von François Schwarzentruber ist ein Lehrbuch, das sich mit der Einführung in modale Logiken beschäftigt. Das Buch nutzt die Methode der Tableaux, um Lesern ein tieferes Verständnis für die Struktur und Anwendung modaler Logiken zu vermitteln. Es basiert auf den Arbeiten von Saul Kripke und bietet eine systematische Herangehensweise an die Semantik möglicher Welten. Der Text behandelt grundlegende Konzepte wie Notwendigkeit und Möglichkeit sowie fortgeschrittenere Themen wie die axiomatische Behandlung modaler Systeme. Durch zahlreiche Beispiele und Übungen unterstützt das Buch sowohl Studierende als auch Forschende dabei, ihre Kenntnisse in diesem Bereich der formalen Logik zu vertiefen.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
