A bstract We analyze the New Physics sensitivity of a recently proposed method to measure CP-violating $$ \mathcal{B} B ( K S → μ + − ) ℓ =0 decay rate using L interference. present our findings both in model-independent EFT approach as well within several simple NP scenarios. discuss relation with associated...

We show that the vectorial μ-calculus model checking problem over arbitrary graphs reduces to the vectorial, existential μ-calculus model checking problem over S5 graphs. We also draw some consequences of this fact. Moreover, we give a proof that satisfiability of μ-calculus in S5 is NP -complete, and by using S5 graphs we give a new proof that the satisfiability problem of the existential μ-ca...

We study the strictness of the modal μ-calculus hierarchy over some restricted classes of transition systems. First, we show that the hierarchy is strict over reflexive frames. By proving the finite model theorem for reflexive systems the same results holds for finite models. Second, we prove that over transitive systems the hierarchy collapses to the alternation-free fragment. In order to do t...

We construct, for any sentence Ψ of the modal μ calculus (Lμ), a derived sentence ΨML in the modal fragment ML of Lμ and a sentence ΨΠ μ 1 in the fragment Πμ1 of Lμ without least fixpoints such that Ψ is equivalent to a formula in ML or Πμ1 if and only if it is equivalent to ΨML or ΨΠ μ