Sign-In
Cart
Stochastic Coalgebraic Logic
Paperback
Series: Monographs in Theoretical Computer Science. an Eatcs
FictionAlgebraGeneral Computers
ISBN13: 9783642261473
Publisher: Springer Nature
Published: Mar 14 2012
Pages: 231
Weight: 0.78
Height: 0.52 Width: 6.14 Depth: 9.21
Language: English
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.
Also in
Algebra
Regents Exams and Answers: Algebra II, Fifth Edition (Barron's New York Regents)
Rubinstein, Gary Michael
Paperback
Regents Exams and Answers: Algebra I, Fifth Edition, (Barron's New York Regents)
Rubinstein, Gary M.
Paperback
Pre Algebra Doodle Notes: a complete course of brain-based interactive guided visual notes for Middle School Math Concepts
Giraffe, Math
Danziger, Brigid
Paperback
Let's Review Regents: Algebra II, Fifth Edition (Barron's New York Regents)
Rubenstein, Gary M., M. S.
Paperback
6th and 7th Grade Math Workbook: Math Practice Book for Grade 6 and 7 [New Edition Includes 900] Practice Questions]
Apex Test Prep
Paperback
Mechanical Engineering for Makers: A Hands-On Guide to Designing and Making Physical Things
Bunnell, Brian
Najia, Samer
Paperback
Summit Math Algebra 1 Book 5: Factoring Polynomials and Solving Quadratic Equations
Joujan, Alex
Paperback
Mathematical Foundations of Quantum Computing: A Scaffolding Approach
Yu, James
Cheng, Ran
Lee, Peter
Hardcover
Basic Math & Pre-Algebra: 1001 Practice Problems for Dummies (+ Free Online Practice)
Zegarelli, Mark
Paperback
Basic Math Refresher for Adults - A Math Workbook with Practice Problems and Online Video Tutorials: [2nd Edition]
Bowling, Matthew
Paperback
HSPT Full Prep Book for Catholic High Schools: Be ready and fearless! Detailed answer explanations
Johnson, Henry N.
Paperback
Math for Programmers: 3D Graphics, Machine Learning, and Simulations with Python
Orland, Paul
Paperback
Dilation and Model Theory for Pairs of Commuting Contraction Operators
Ball, Joseph A.
Sau, Haripada
Hardcover
Graph Paper Notebook: Beautiful Pink Marble and Rose Gold 8 x 10 inches - 5 x 5 Squares per inch, Quad Ruled Cute Graph Paper Composition No
Blush Marble Notebooks
Paperback
Math Fundamentals 2 - Algebra: For Middle School - A Quickstudy Laminated Reference Guide
Wright, Susan
LLC
Warren, Peggy
Other
Elementary Mathematics from an Advanced Standpoint: Arithmetic, Algebra, Analysis
Klein, Felix
Paperback
Mathematics: Its Content, Methods and Meaning
Aleksandrov, A. D.
Kolmogorov, A. N.
Lavrent'ev, M. a.
Paperback
Radical Equations: Civil Rights from Mississippi to the Algebra Project
Moses, Robert
Cobb, Charles E.
Paperback
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra
O'Shea, Donal
Cox, David A.
Little, John
Hardcover
Pre-Algebra for Beginners: The Ultimate Step by Step Guide to Preparing for the Pre-Algebra Test
Nazari, Reza
Paperback
Math Geek: From Klein Bottles to Chaos Theory, a Guide to the Nerdiest Math Facts, Theorems, and Equations
Rosen, Raphael
Paperback
Topics in Number Theory, Volumes I and II
Leveque, William J.
Mathematics
Leveque, William Judson
Paperback
Mathematical Foundations of Quantum Computing: A Scaffolding Approach
Yu, James
Cheng, Ran
Lee, Peter
Paperback
No-Nonsense Algebra, 2nd Edition: Part of the Mastering Essential Math Skills Series
Fisher, Richard W.
Paperback
4th Grade Math Workbook: 1500+ Practice Questions for Daily Exercise [Math Workbooks Grade 4]
Apex Test Prep
Paperback
Algebra II: 1001 Practice Problems for Dummies (+ Free Online Practice)
Sterling, Mary Jane
Paperback
Algebraic Theory of Numbers: Translated from the French by Allan J. Silberger
Samuel, Pierre
Paperback
ACCUPLACER Math Prep: ACCUPLACER Math Test Study Guide with Two Practice Tests [Includes Detailed Answer Explanations]
Tpb Publishing
Paperback
Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares
Boyd, Stephen
Vandenberghe, Lieven
Hardcover
Basic Mathematics for Adult Beginners: An Easy Math Refresher Guide for Adults Restarting Their Education Journey
E. Thompson, Charles
Paperback