Coalgebraic logic over general measurable spaces ??? a survey

Authors:
Ernst-erich Doberkat;Christoph Schubert
Affiliations:
Chair for software technology, technische universit??t dortmund email: ernst-erich.doberkat@udo.edu/ christoph.schubert@udo.edu;Chair for software technology, technische universit??t dortmund email: ernst-erich.doberkat@udo.edu/ christoph.schubert@udo.edu
Venue:
Mathematical Structures in Computer Science
Year:
2011

Citing 26
Cited 2

Bisimulation through probabilistic testing

Information and Computation
Probabilistic non-determinism

Probabilistic non-determinism
Model checking

Model checking
Universal coalgebra: a theory of systems

Theoretical Computer Science - Modern algebra and its applications
Modal logic

Modal logic
Bisimulation for labelled Markov processes

Information and Computation - Special issue: LICS'97
Model-Checking Algorithms for Continuous-Time Markov Chains

IEEE Transactions on Software Engineering
Semi-pullbacks and bisimulation in categories of Markov processes

Mathematical Structures in Computer Science
Semi-pullbacks for stochastic relations over analytic spaces

Mathematical Structures in Computer Science
Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem

SIAM Journal on Computing
Stochastic Relations

Stochastic Relations
Coalgebraic Modal Logic Beyond Sets

Electronic Notes in Theoretical Computer Science (ENTCS)
Expressivity of coalgebraic modal logic: The limits and beyond

Theoretical Computer Science
Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces

TAMC '09 Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation
Terminal Coalgebras for Measure-Polynomial Functors

TAMC '09 Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation
A Demonic Approach to Information in Probabilistic Systems

CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
A Complete Deductive System for Probability Logic1

Journal of Logic and Computation
On Logics for Coalgebraic Simulation

Electronic Notes in Theoretical Computer Science (ENTCS)
Bisimulation and cocongruence for probabilistic systems

Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Final coalgebras for functors on measurable spaces

Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Stochastic Coalgebraic Logic

Stochastic Coalgebraic Logic
Probability Logic of Finitely Additive Beliefs

Journal of Logic, Language and Information
Deduction Systems for Coalgebras Over Measurable Spaces

Journal of Logic and Computation
Exemplaric Expressivity of Modal Logics

Journal of Logic and Computation
Final sequences and final coalgebras for measurable spaces

CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Modular algorithms for heterogeneous modal logics

ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming

A stochastic interpretation of propositional dynamic logic: expressivity

ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Approximating Markov processes through filtration

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this survey we discuss the generalisation of stochastic Kripke models for general modal logics through predicate liftings for functors over general measurable spaces. We derive results on expressivity and show that selection arguments allow us to incorporate the discussion of bisimilarity, provided the underlying spaces are assumed to be standard Borel.