Czech Modální μ-kalkulus Cited by user Tom9el3 on 12 Feb 2024 V teoretické informatice modální μ-kalkulus ( Lμ, L μ, někdy jen μ-kalkulus) označuje rozšíření výrokové modální logiky (s více modalitami).
English Modal μ-calculus Cited by user Dodecamino on 10 Jun 2020 In theoretical computer science, the modal μ-calculus (Lμ, Lμ, sometimes just μ-calculus, although this can have a more general meaning) is an extension of propositional…