Stochastic Coalgebraic Logic
ISBN: 3642261477
2013, XV, 231 Seiten, 81...
Weitere Produktdetails
Alle Informationen zu Stochastic Coalgebraic Logic
Produktbeschreibung
Klappentext
This book combines coalgebraic reasoning, stochastic systems and logics. It provides an insight into the principles of coalgebraic logic from a categorical point of view, and applies these systems to interpretations of stochastic coalgebraic logics, which include well-known modal logics and continuous time branching logics. The author introduces stochastic systems together with their probabilistic and categorical foundations and gives a comprehensive discussion of the Giry monad as the underlyingcategorical construction, presenting many new, hitherto unpublished results. He discusses modal logics, introduces their probabilistic interpretations, and then proceeds to an analysis of Kripke models for coalgebraic logics.
The book will be of interest to researchers in theoretical computer science, logic and category theory.
2013, XV, 231 Seiten, 81 Schwarz-Weiß-Abbildungen, Maße: 23,5 cm, Kartoniert (TB), Englisch ; Springer Berlin ; ISBN-10: 3642261477 ; ISBN-13: 9783642261473
Kommentare
Noch keine Kommentare zu Stochastic Coalgebraic Logic
Jetzt Gewinnchance nutzen
Schreiben Sie einen Kommentar zu "Stochastic Coalgebraic Logic" und nutzen Sie die Gewinnchance zum "Kommentar des Monats".
Nutzen Sie die Gelegenheit und schreiben Sie den ersten Kommentar!
Kommentar verfassenTop-Themen
-
Life of Pi
Schiffbruch mit Tiger -
Otfried Preußler Bücher
Kinderbuchklassiker
-
Hunde unter Wasser
Grandiose Hundeportaits -
Diät-Bücher
Bleiben Sie fit & gesund!
-
Richtig bewerben
Bewerbungstipps-Hörbuch -
Spiegel Bestseller
Aktuell und übersichtlich!


