A quantified coalgebraic van Benthem theorem
From MaRDI portal
Publication:2233433
DOI10.1007/978-3-030-71995-1_28OpenAlexW3137024392MaRDI QIDQ2233433FDOQ2233433
Authors: Paul Wild, Lutz Schröder
Publication date: 18 October 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-71995-1_28
Cites Work
- Universal coalgebra: A theory of systems
- Bisimulation for labelled Markov processes
- Algebraic laws for nondeterminism and concurrency
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bisimulation through probabilistic testing
- Quantales and continuity spaces
- Continuity spaces: Reconciling domains and metric spaces
- Completely Distributive Complete Lattices
- A Subdirect-Union Representation for Completely Distributive Complete Lattices
- Metrics for labelled Markov processes
- Expressivity of coalgebraic modal logic: the limits and beyond
- Relation lifting, with an application to the many-valued cover modality
- Approximation in quantale-enriched categories
- Expressive logics for coalgebras via terminal sequence induction
- Probabilistic metric spaces as enriched categories
- A general theory of structure spaces with applications to spaces of prime ideals
- Terminal coalgebras in well-founded set theory
- An analysis of first-order logics of probability
- A behavioural pseudometric for probabilistic transition systems
- Automata for the modal \(\mu \)-calculus and related results
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Topological theories and closed objects
- The quantitative linear-time-branching-time spectrum
- CONCUR 2005 – Concurrency Theory
- Automata, Languages and Programming
- Modal characterisation theorems over special classes of frames
- First-order fuzzy logic
- A Van Benthem Theorem for Modal Team Semantics
- Coalgebraic logic for stochastic right coalgebras
- Modal logic over finite structures
- Some modal aspects of XPath
- Generalized Bisimulation Metrics
- Notions of bisimulation for Heyting-valued modal languages
- Title not available (Why is that?)
- Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
- Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization
- First-order expressivity for S5-models: Modal vs. two-sorted languages
- A Van Benthem/Rosen theorem for coalgebraic predicate logic
- Title not available (Why is that?)
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
- A van Benthem Theorem for Fuzzy Modal Logic
- Quantitative Behavioural Reasoning for Higher-order Effectful Programs
- Model theory of XPath on data trees. II: Binary bisimulation and definability
- Coalgebraic Predicate Logic
- PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (3)
This page was built for publication: A quantified coalgebraic van Benthem theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2233433)