Pages that link to "Item:Q3655261"

The following pages link to The modal<i>μ</i>-calculus hierarchy over restricted classes of transition systems (Q3655261):

Displaying 12 items.

• The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204) (← links)
• On the \(\mu \)-calculus over transitive and finite transitive frames (Q606994) (← links)
• Deciding the existence of uniform interpolants over transitive models (Q627437) (← links)
• Modal characterisation theorems over special classes of frames (Q732052) (← links)
• On modal \(\mu \)-calculus and Gödel-Löb logic (Q1015480) (← links)
• The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs (Q1643142) (← links)
• A focus system for the alternation-free \(\mu \)-calculus (Q2142090) (← links)
• Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336) (← links)
• ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH (Q2909221) (← links)
• $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
• (Q5014446) (← links)
• Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond (Q5139276) (← links)