A quantified coalgebraic van Benthem theorem

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

zbMATH Keywords

coalgebramodal logicfuzzy logicquantalemodal characterizationbehavioural distance

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

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)

• Title not available (Why is that?)
• A point-free perspective on lax extensions and predicate liftings
• Kantorovich functors and characteristic logics for behavioural distances

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)