The following pages link to Rudiments of \(\mu\)-calculus (Q5926539):
Displaying 50 items.
- Refinement modal logic (Q476194) (← links)
- The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204) (← links)
- A saturation method for the modal \(\mu \)-calculus over pushdown systems (Q532393) (← links)
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus (Q549180) (← links)
- On equal \(\mu \)-terms (Q549186) (← links)
- On the \(\mu \)-calculus over transitive and finite transitive frames (Q606994) (← links)
- Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA (Q631077) (← links)
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Regular languages of nested words: fixed points, automata, and synchronization (Q649107) (← links)
- Solving Łukasiewicz \(\mu\)-terms (Q683713) (← links)
- Modal specifications for the control theory of discrete event systems (Q884763) (← links)
- Completions of \(\mu \)-algebras (Q925850) (← links)
- Compositional verification of sequential programs with procedures (Q937300) (← links)
- Canonical completeness of infinitary \(\mu \) (Q941442) (← links)
- Partially commutative inverse monoids. (Q958191) (← links)
- A decidable class of problems for control under partial observation (Q1041809) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- On temporal logic versus Datalog (Q1401358) (← links)
- A gap property of deterministic tree languages. (Q1401364) (← links)
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- Ambiguous classes in \(\mu\)-calculi hierarchies (Q1770419) (← links)
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- An intensional fixed point theory over first order arithmetic (Q1877095) (← links)
- Temporal logic with recursion (Q2051830) (← links)
- A focus system for the alternation-free \(\mu \)-calculus (Q2142090) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- On the separation question for tree languages (Q2254515) (← links)
- Determinizing monitors for HML with recursion (Q2291832) (← links)
- On the universal and existential fragments of the \(\mu\)-calculus (Q2368950) (← links)
- Complete axiomatization and decidability of alternating-time temporal logic (Q2368988) (← links)
- The differential \(\lambda \mu\)-calculus (Q2373711) (← links)
- Generalising automaticity to modal properties of finite structures (Q2373714) (← links)
- Equivalence of probabilistic \(\mu\)-calculus and p-automata (Q2399249) (← links)
- A parametric analysis of the state-explosion problem in model checking (Q2495399) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Unification and combination of a class of traversal strategies made with pattern matching and fixed-points (Q2669251) (← links)
- From Parity Games to Circular Proofs (Q2842563) (← links)
- Prefix and Projection onto State in Duration Calculus (Q2842576) (← links)
- ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH (Q2909221) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Nearest Fixed Points and Concurrent Priority Games (Q2947896) (← links)
- Controller/Orchestrator Synthesis via Filtration (Q3185761) (← links)
- Computing Game Values for Crash Games (Q3510795) (← links)
- Inf-datalog, Modal Logic and Complexities (Q3549285) (← links)
- A Weighted μ-Calculus on Words (Q3637241) (← links)
- Craig Interpolation for Linear Temporal Languages (Q3644755) (← links)
- (Q4603451) (← links)
