Topics in Subset Space Logic, Fachbücher von Can Baskent
"Topics in Subset Space Logic" bietet eine umfassende Analyse der Teilraumlogik und deren Anwendung auf dynamische Wissensänd... Mehr erfahren
Finde die besten Angebote
Bester Preis24 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"Topics in Subset Space Logic" bietet eine umfassende Analyse der Teilraumlogik und deren Anwendung auf dynamische Wissensänderungen. Das Buch beginnt mit einer detaillierten Einführung in die Grundlagen der Teilraumlogik und führt dann einfache, wahrheitsbewahrende Operationen ein, die in diesem Kontext gültig sind. Es wird gezeigt, dass die Teilraumlogik stark genug ist, um die dynamischen Aspekte der Wissensänderung, insbesondere die Logik öffentlicher Ankündigungen, zu axiomatisieren. Die vollständige Axiomatisierung der Teilraumlogik öffentlicher Ankündigungen wird präsentiert, gefolgt von einem klaren Beweis der Vollständigkeit. Das Werk beleuchtet auch die Bedeutung der öffentlichen Ankündigungslogik innerhalb der Sprache der Teilraumlogik und untersucht das Konzept des "Shrinking" als dynamischen Operator in diesem Bereich. Diese Diskussionen bieten wertvolle Einblicke in die Geometrie des Wissens und deren formale Anwendungen.
Informationen
Lieferzeit:2-4 Werktage
Marke:VDM