Deduction Systems for Coalgebras Over Measurable Spaces

DOI10.1093/logcom/exn092zbMath1220.03054OpenAlexW1969920051MaRDI QIDQ3056298

Robert Goldblatt

Publication date: 11 November 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn092

zbMATH Keywords

coalgebrasdeduction systemsmeasurable spacesLindenbaum propertymeasurable polynomial functors

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Related Items (13)

A metrized duality theorem for Markov processes ⋮ The Countable Henkin Principle ⋮ Concurrent weighted logic ⋮ Algebraic properties of stochastic effectivity functions ⋮ Approximating Markov processes through filtration ⋮ Using coalgebras and the Giry monad for interpreting game logics -- a tutorial ⋮ Probability logic of finitely additive beliefs ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ Intuitive Probability Logic ⋮ A stochastic interpretation of game logic ⋮ Complete proof systems for weighted modal logic ⋮ Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes ⋮ Completeness theorems for \(\sigma \)-additive probabilistic semantics

This page was built for publication: Deduction Systems for Coalgebras Over Measurable Spaces