scientific article; zbMATH DE number 7559483
From MaRDI portal
Publication:5089293
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; zbMATH DE number 6002414
- Consistency reasoning in lattice-based fuzzy description logics
- Metamathematics of fuzzy logic
Cites work
- scientific article; zbMATH DE number 3709585 (Why is no real title available?)
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 35414 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1104375 (Why is no real title available?)
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- (Metric) bisimulation games and real-valued modal logics for coalgebras
- A behavioural pseudometric for probabilistic transition systems
- A van Benthem theorem for fuzzy modal logic
- Abstract and concrete categories: the joy of cats
- Bisimulation metrics for continuous Markov decision processes
- Bisimulation metrics for weighted automata
- CONCUR 2014 -- concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2--5, 2014. Proceedings
- Coalgebraic behavioral metrics
- Coalgebraic logic
- Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9--11, 2016. Proceedings
- Equational coalgebraic logic
- Expressive logics for coalgebras via terminal sequence induction
- Expressivity of coalgebraic modal logic: the limits and beyond
- 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
- From Kripke to neighborhood semantics for modal fuzzy logics
- Generic trace semantics and graded monads
- Lax extensions of coalgebra functors and their logic
- Local and global operators and many-valued modal logics
- Metrics for labelled Markov processes
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- Monoidal topology. A categorical approach to order, metric, and topology
- Notions of bisimulation for Heyting-valued modal languages
- Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper)
- Optimal Transport
- Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
- Recursively defined metric spaces without contraction
- Relational algebras
- Simulations in coalgebra
- Terminal coalgebras in well-founded set theory
- The quantitative linear-time-branching-time spectrum
- The quantitative linear-time-branching-time spectrum
- Topological theories and closed objects
- Universal coalgebra: A theory of systems
- Łukasiewicz \(\mu\)-calculus
Cited in
(6)- A point-free perspective on lax extensions and predicate liftings
- A quantified coalgebraic van Benthem theorem
- Graded monads and behavioural equivalence games
- Explainability of probabilistic bisimilarity distances for labelled Markov chains
- scientific article; zbMATH DE number 7566075 (Why is no real title available?)
- Kantorovich functors and characteristic logics for behavioural distances
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)
