Topics in Subset Space Logic, Fachbücher von Can Baskent
49,00 €
"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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
