Pages that link to "Item:Q2760241"
From MaRDI portal
The following pages link to Modal logics and mu-calculi: An introduction (Q2760241):
Displaying 13 items.
- Deciding the unguarded modal -calculus (Q4583323) (← links)
- On the expressivity of the modal mu-calculus (Q4593954) (← links)
- (Q4603451) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- Model Checking Games (Q4916199) (← links)
- (Q4972736) (← links)
- (Q5014446) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- A Multi-Core Solver for Parity Games (Q5415659) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705921) (← links)
- Matching µ-logic: Foundation of K framework (Q5875341) (← links)
- (Q5884938) (← links)
- Rudiments of \(\mu\)-calculus (Q5926539) (← links)