Pages that link to "Item:Q606994"

The following pages link to On the \(\mu \)-calculus over transitive and finite transitive frames (Q606994):

Displaying 10 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)
• First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
• Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336) (← links)
• General Models and Completeness of First-Order Modal  -calculus (Q3520232) (← links)
• The modal<i>μ</i>-calculus hierarchy over restricted classes of transition systems (Q3655261) (← links)
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS (Q4295227) (← links)
• (Q5014446) (← links)
• The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (Q6160744) (← links)
• Complexity results for modal logic with recursion via translations and tableaux (Q6597964) (← links)