Terminal Coalgebras for Measure-Polynomial Functors

DOI10.1007/978-3-642-02017-9_35MaRDI QIDQ3630218zbMATH OpenOpenAlexFDO

Authors Christoph Schubert

Publication date 3 June 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02017-9_35

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Special categories (18B99) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• From modal logic to terminal coalgebras
• Algebra and Coalgebra in Computer Science
• Final coalgebras for functors on measurable spaces
• A modal proof theory for final polynomial coalgebras
• Deduction systems for coalgebras over measurable spaces

Cited in

(13)

• Final coalgebras for functors on measurable spaces
• Harsanyi type spaces and final coalgebras constructed from satisfied theories
• Coalgebraic logic over measurable spaces: behavioral and logical equivalence
• Coalgebraic logic over general measurable spaces -- a survey
• Deduction systems for coalgebras over measurable spaces
• Lattice properties of congruences for stochastic relations
• Coalgebraic infinite traces and Kleisli simulations
• A Calculus of Terms for Coalgebras of Polynomial Functors
• Algebra and Coalgebra in Computer Science
• From modal logic to terminal coalgebras
• Maximal traces and path-based coalgebraic temporal logics
• Coalgebraic CTL: fixpoint characterization and polynomial-time model checking
• Topology-free type structures with conditioning events

This page was built for publication: Terminal Coalgebras for Measure-Polynomial Functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3630218)