rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Stochastic Coalgebraic Logic
  name:
    name part: Doberkat, Ernst-Erich.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2009
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XV, 231 p. 81 illus. online resource.
  abstract: 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.
  table of contents: Borel Sets, Measures and All That -- Modal Logics -- The Giry Monad: Randomized Morphisms -- Coalgebraic Logic.
  note: by Ernst-Erich Doberkat.
  subject:
    topic: Computer science
  subject:
    topic: Mathematical logic
  subject:
    topic: Artificial intelligence
  subject:
    topic: Category theory (Mathematics)
  subject:
    topic: Homological algebra
  subject:
    topic: Probabilities
  subject:
    topic: Statistics
  subject:
    topic: Computer Science
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Probability Theory and Stochastic Processes
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Category Theory, Homological Algebra
  subject:
    topic: Statistical Theory and Methods
  classification: QA8.9-QA10.3
  classification: 005.131
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Monographs in Theoretical Computer Science. An EATCS Series
  identifier: 9783642029950
  identifier: http://dx.doi.org/10.1007/978-3-642-02995-0
  record info:
    record creation date: 100301
    record change date: 20151031101155.0
    record identifier: 978-3-642-02995-0