Expressive logics for coinductive predicates
From MaRDI portal
Recommendations
Cites work
- A behavioural pseudometric for probabilistic transition systems
- A general account of coinduction up-to
- A van Benthem theorem for fuzzy modal logic
- Algebraic laws for nondeterminism and concurrency
- Algebraic semantics for coalgebraic logics
- Bisimulation for labelled Markov processes
- Bisimulation for weakly expressive coalgebraic modal logics
- Bisimulation through probabilistic testing
- Categorical logic and type theory
- Coalgebraic behavioral metrics
- Coalgebraic modal logic beyond sets
- Coalgebraic semantics of modal logics: an overview
- Coinductive predicates and final sequences in a fibration
- Exemplaric Expressivity of Modal Logics
- Expressive logics for coalgebras via terminal sequence induction
- Expressive Logics for Coinductive Predicates
- Expressiveness of positive coalgebraic logic
- Expressiveness of probabilistic modal logics: a gradual approach
- Expressivity of coalgebraic modal logic: the limits and beyond
- Expressivity of Many-Valued Modal Logics, Coalgebraically
- Fibrational bisimulations and quantitative reasoning
- Foundations of Software Science and Computational Structures
- Graded monads and graded logics for the linear time -- branching time spectrum
- Homomorphisms of coalgebras from predicate liftings
- scientific article; zbMATH DE number 19040 (Why is no real title available?)
- scientific article; zbMATH DE number 1361128 (Why is no real title available?)
- Introduction to coalgebra. Towards mathematics of states and observation
- Lax extensions of coalgebra functors and their logic
- Simulations in coalgebra
- Structural induction and coinduction in a fibrational setting
- Testing Semantics: Connecting Processes and Process Logics
- Topological functors
- Universal coalgebra: A theory of systems
- Up-to techniques for behavioural metrics via fibrations
Cited in
(9)- Syntactic forcing models for coherent logic
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
- Corecursion up-to via causal transformations
- scientific article; zbMATH DE number 7037626 (Why is no real title available?)
- Expressive Logics for Coinductive Predicates
- Graded semantics and graded logics for Eilenberg-Moore coalgebras
- Positive Hennessy-Milner logic for branching bisimulation
- Relational connectors and heterogeneous simulations
- Quantitative graded semantics and spectra of behavioural metrics
This page was built for publication: Expressive logics for coinductive predicates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5028440)
