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 ΨΠ μ

A bstract We discuss sensitivities to lepton flavor violating (and conserving) interactions at future muon colliders, especially μ + colliders. Compared with the searches for rare decays of and τ , we find that TeV-scale colliders have better depending on pattern hierarchy in mixings. As an example, study case type-II seesaw model, where mixing parameters direct relation neutrino mass matrix. A...

‚ ¶·¥¤ ̧É ¢2¥ ́ ́μ° ̧É ÉÓ¥ ̈ ̧ ̧2¥¤ÊÕÉ ̧Ö ¢μ¶·μ ̧Ò, ̧¢Ö§ ́ ́Ò¥ ̧ ¶·μÍ¥ ̧ ̧μ3 ̈¤¥ ́É ̈Ë ̈± Í ̈ ̈ ¶2μ ̧± ̈Ì ±· ̈¢ÒÌ, ̈ ́¢ · ̈ ́É ́ÒÌ μÉ ́μ ̧ ̈É¥2Ó ́μ 2D ËË ̈ ́ ́ÒÌ ¶·¥μ¡· §μ¢ ́ ̈°. ’ ±¦¥ μ¡ ̧ʦ¤ ÕÉ ̧Ö Î ̈ ̧2μ ̈ É ̈¶ Ì · ±É¥· ̈ ̧É ̈±, ±μÉμ·Ò¥ ́ʦ ́μ ̈ ̧¶μ2Ó§μ¢ ÉÓ ¤2Ö Ëμ·3Ê2 ̈·μ¢± ̈ 3 É¥3 É ̈Î¥ ̧±μ£μ μ¶ ̈ ̧ ́ ̈Ö ±· ̈¢ÒÌ ¢ ¶·μÍ¥ ̧ ̧¥ · ̧¶μ§ ́ ¢ ́ ̈Ö. ‚¢¥¤¥ ́ 3¥É· ̈± , ¶μ§¢μ2ÖÕÐ Ö ̈¤¥ ́É ̈Ë ̈Í ̈·μ¢ ÉÓ ́¥§ 3± ́ÊÉÒ¥ ±· ̈¢Ò¥.