scientific article; zbMATH DE number 7559483
From MaRDI portal
Publication:5089293
DOI10.4230/LIPICS.CONCUR.2020.27MaRDI QIDQ5089293FDOQ5089293
Authors: Paul Wild, Lutz Schröder 
Publication date: 18 July 2022
Title of this publication is not available (Why is that?)
Recommendations
- Characteristic logics for behavioural hemimetrics via fuzzy lax extensions
- Kantorovich functors and characteristic logics for behavioural distances
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
- scientific article; zbMATH DE number 1790410
- scientific article; zbMATH DE number 3922623
- Behavioural characterizations of partial order logics
- scientific article; zbMATH DE number 1164050
- scientific article
- Consistency reasoning in lattice-based fuzzy description logics
- Metamathematics of fuzzy logic
Cites Work
- Optimal Transport
- Universal coalgebra: A theory of systems
- Abstract and concrete categories: the joy of cats
- Title not available (Why is that?)
- Title not available (Why is that?)
- Metrics for labelled Markov processes
- Coalgebraic logic
- Expressivity of coalgebraic modal logic: the limits and beyond
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
- Expressive logics for coalgebras via terminal sequence induction
- Relational algebras
- Lax extensions of coalgebra functors and their logic
- Terminal coalgebras in well-founded set theory
- Title not available (Why is that?)
- Simulations in coalgebra
- Monoidal topology. A categorical approach to order, metric, and topology
- Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9--11, 2016. Proceedings
- A behavioural pseudometric for probabilistic transition systems
- Recursively defined metric spaces without contraction
- Bisimulation metrics for continuous Markov decision processes
- Topological theories and closed objects
- The quantitative linear-time-branching-time spectrum
- Title not available (Why is that?)
- CONCUR 2014 -- concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2--5, 2014. Proceedings
- Title not available (Why is that?)
- Equational coalgebraic logic
- Łukasiewicz \(\mu\)-calculus
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- Bisimulation metrics for weighted automata
- Foundations of software science and computational structures. 14th international conference, FOSSACS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 -- April 3, 2011. Proceedings
- Notions of bisimulation for Heyting-valued modal languages
- Local and global operators and many-valued modal logics
- Title not available (Why is that?)
- The quantitative linear-time-branching-time spectrum
- Generic trace semantics and graded monads
- Coalgebraic behavioral metrics
- (Metric) bisimulation games and real-valued modal logics for coalgebras
- A van Benthem theorem for fuzzy modal logic
- From Kripke to neighborhood semantics for modal fuzzy logics
- Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper)
- Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Cited In (6)
- Title not available (Why is that?)
- A point-free perspective on lax extensions and predicate liftings
- Kantorovich functors and characteristic logics for behavioural distances
- A quantified coalgebraic van Benthem theorem
- Explainability of probabilistic bisimilarity distances for labelled Markov chains
- Graded monads and behavioural equivalence games
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089293)
