The following pages link to Rudiments of \(\mu\)-calculus (Q5926539):
Displaying 25 items.
- Craig Interpolation for Linear Temporal Languages (Q3644755) (← links)
- A selection property of the boolean $\mu $-calculus and some of its applications (Q4380557) (← links)
- Domain mu-calculus (Q4460689) (← links)
- -Calculus with Explicit Points and Approximations (Q4542238) (← links)
- (Q4603451) (← links)
- Beliefs supported by binary arguments (Q4685528) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- Model Checking Games (Q4916199) (← links)
- Deciding low levels of tree-automata hierarchy (Q4916202) (← links)
- $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
- (Q4992900) (← links)
- On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics (Q5013911) (← links)
- (Q5020522) (← links)
- $$\mu $$ μ -Levels of Interpolation (Q5214736) (← links)
- (Q5232911) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- Modal Fixed-Point Logic and Changing Models (Q5452177) (← links)
- Undirected Graphs of Entanglement 2 (Q5458861) (← links)
- A Tentative Approach for the Wadge-Wagner Hierarchy of Regular Tree Languages of Index [0, 2] (Q5500683) (← links)
- A fixed point theory over stratified truth (Q6047658) (← links)
- Temporal Logic with Recursion. (Q6060093) (← links)
- Model checking timed recursive CTL (Q6543268) (← links)
- Inapproximability of unique games in fixed-point logic with counting (Q6563050) (← links)
- Linear-time logics -- a coalgebraic perspective (Q6563060) (← links)
- Size measures and alphabetic equivalence in the \(\mu \)-calculus (Q6649448) (← links)
