Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions
In systems involving quantitative data, such as probabilistic, fuzzy, or metric systems, behavioural distances provide a more fine-grained comparison of states than two-valued notions of behavioural equivalence or behaviour inclusion. Like in the two-valued case, the wide variation found in system t...
Main Authors: | Paul Wild, Lutz Schröder |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2022-06-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/7351/pdf |
Similar Items
-
Canonical Models and the Complexity of Modal Team Logic
by: Martin Lück
Published: (2019-04-01) -
Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi
by: Daniel Hausmann, et al.
Published: (2024-07-01) -
$\aleph_1$ and the modal $\mu$-calculus
by: Maria João Gouveia, et al.
Published: (2019-10-01) -
On the Succinctness of Atoms of Dependency
by: Martin Lück, et al.
Published: (2019-08-01) -
Typability and Type Inference in Atomic Polymorphism
by: M. Clarence Protin, et al.
Published: (2022-08-01)