Similar Items: The Complexity of Model Checking Higher-Order Fixpoint Logic
- A Probabilistic Higher-order Fixpoint Logic
- A Monoidal View on Fixpoint Checks
- The parameterized space complexity of model-checking bounded variable first-order logic
- Definability and Interpolation within Decidable Fixpoint Logics
- Superposition for Lambda-Free Higher-Order Logic
- Logical Reasoning for Higher-Order Functions with Local State