Similar Items: A Light Modality for Recursion
- Complexity results for modal logic with recursion via translations and tableaux
- Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
- Recursive Causal Discovery
- Recursive Concurrent Stochastic Games
- Positive Inductive-Recursive Definitions
- Unguarded Recursion on Coinductive Resumptions