Pages that link to "Item:Q5300576"

The following pages link to On modal  -calculus over reflexive symmetric graphs (Q5300576):

Displaying 9 items.

• The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204) (← links)
• The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs (Q1643142) (← links)
• Mu-depth 3 is more than 2: A game-theoretic proof (Q2719798) (← links)
• On modal \(\mu \)-calculus in \(S5\) and applications (Q2841958) (← links)
• On modal \(\mu \)-calculus over finite graphs with small components or small tree width (Q2909221) (← links)
• The mu-calculus and Model Checking (Q3176384) (← links)
• On the Modal μ-Calculus Over Finite Symmetric Graphs (Q3454725) (← links)
• The modal<i>μ</i>-calculus hierarchy over restricted classes of transition systems (Q3655261) (← links)
• The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (Q6160744) (← links)