Skip to main content
Zoom the image with the mouse

Stochastic Coalgebraic Logic

by

17 order in last 6 hour
ISBN: 9783642261473
List Price: $109.99
Special Offers Available
Free shipping on orders over $95
Buy one with 1% offer on sale price
Buy New
Hurry! Only left
Image coming soon
As low as $109.99

Stochastic Coalgebraic Logic (9783642261473)

Springer

We can help you leverage the power of books

Customer Service

Connect with a dedicated account manager who is there every step of the way.

Price Match Guarantee

If you see better pricing elsewhere on your desired quantity, we will price match so you can be sure to get the best pricing.

Free Shipping

Enjoy free ground shipping on your order of $95 or more!

Brand New Guarantee

We only sell books that are brand new and protect that with a guarantee.

Customization

From author signatures to marketing inserts, custom packaging to brand stickers, we can help take your book marketing to the next level.

Learn more about ordering
Details

Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for systems modeling, and recent work shows that categorical reasoning may lead to new insights, previously not available in a purely probabilistic setting.

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 underlying categorical 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.

The book, Stochastic Coalgebraic Logic (9783642261473) [Order Bulk Books, Wholesale, Quantity Discount] with ISBN# 9783642261473 in by may be ordered bulk quantities. Minimum orders start at copies.

Product details

Publisher: Springer Berlin Heidelberg
Publisher: Springer Berlin Heidelberg

GMA connects authors, speakers, and talent with the right people at the right time.

Learn More