A quantified coalgebraic van Benthem theorem (Q2233433): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-71995-1_28
+Normal rank
@@ Property / OpenAlex ID @@
+W3137024392
@@ Property / OpenAlex ID: W3137024392 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory of XPath on data trees. II: Binary bisimulation and definability
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4683862
@@ Property / cites work: Q4683862 / rank @@
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789452
@@ Property / cites work: Q4789452 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation lifting, with an application to the many-valued cover modality
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic
+Normal rank
@@ Property / cites work @@
+Some modal aspects of XPath
@@ Property / cites work: Some modal aspects of XPath / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Bisimulation Metrics
@@ Property / cites work: Generalized Bisimulation Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Modal characterisation theorems over special classes of frames
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic for stochastic right coalgebras
@@ Property / cites work: Coalgebraic logic for stochastic right coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of Bisimulation for Heyting-Valued Modal Languages
+Normal rank
@@ Property / cites work @@
+Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
+Normal rank
@@ Property / cites work @@
+Q2911616
@@ Property / cites work: Q2911616 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization
+Normal rank
@@ Property / cites work @@
+Continuity spaces: Reconciling domains and metric spaces
+Normal rank
@@ Property / cites work @@
+Quantales and continuity spaces
@@ Property / cites work: Quantales and continuity spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Behavioural Reasoning for Higher-order Effectful Programs
+Normal rank
@@ Property / cites work @@
+An analysis of first-order logics of probability
@@ Property / cites work: An analysis of first-order logics of probability / rank @@
+Normal rank
@@ Property / cites work @@
+Neighbourhood Structures: Bisimilarity and Basic Model Theory
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+A general theory of structure spaces with applications to spaces of prime ideals
+Normal rank
@@ Property / cites work @@
+Topological theories and closed objects
@@ Property / cites work: Topological theories and closed objects / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic metric spaces as enriched categories
+Normal rank
@@ Property / cites work @@
+Approximation in quantale-enriched categories
@@ Property / cites work: Approximation in quantale-enriched categories / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+Q5357692
@@ Property / cites work: Q5357692 / rank @@
+Normal rank
@@ Property / cites work @@
+(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
+Normal rank
@@ Property / cites work @@
+A Van Benthem Theorem for Modal Team Semantics
@@ Property / cites work: A Van Benthem Theorem for Modal Team Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Predicate Logic
@@ Property / cites work: Coalgebraic Predicate Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4370249
@@ Property / cites work: Q4370249 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order fuzzy logic
@@ Property / cites work: First-order fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive logics for coalgebras via terminal sequence induction
+Normal rank
@@ Property / cites work @@
+Completely Distributive Complete Lattices
@@ Property / cites work: Completely Distributive Complete Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+A Subdirect-Union Representation for Completely Distributive Complete Lattices
+Normal rank
@@ Property / cites work @@
+Modal logic over finite structures
@@ Property / cites work: Modal logic over finite structures / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity of coalgebraic modal logic: the limits and beyond
+Normal rank
@@ Property / cites work @@
+A Van Benthem/Rosen theorem for coalgebraic predicate logic
+Normal rank
@@ Property / cites work @@
+First-order expressivity for S5-models: Modal vs. two-sorted languages
+Normal rank
@@ Property / cites work @@
+Q5089293
@@ Property / cites work: Q5089293 / rank @@
+Normal rank
@@ Property / cites work @@
+A van Benthem Theorem for Fuzzy Modal Logic
@@ Property / cites work: A van Benthem Theorem for Fuzzy Modal Logic / rank @@
+Normal rank