The following pages link to Fixed Point Logics (Q4532728):
Displaying 23 items.
- Recursive definitions and fixed-points on well-founded structures (Q654910) (← links)
- Characters and fixed points in provability logic (Q749521) (← links)
- Ł\(\Pi\) logic with fixed points (Q953281) (← links)
- Fixed-point extensions of first-order logic (Q1090327) (← links)
- Explicit fixed points in interpretability logic (Q1176094) (← links)
- An expansion of basic logic with fixed points (Q1699729) (← links)
- Expressive equivalence of least and inflationary fixed-point logic (Q1886320) (← links)
- On symmetric circuits and fixed-point logics (Q2363965) (← links)
- Symbioses between mathematical logic and computer science (Q2630825) (← links)
- (Q2958528) (← links)
- A Fixpoint Semantics for Ordered Logic (Q3210906) (← links)
- (Q3384876) (← links)
- The Descriptive Complexity of Parity Games (Q3540190) (← links)
- (Q4395548) (← links)
- Enhancing fixed point logic with cardinality quantifiers (Q4399514) (← links)
- (Q4793036) (← links)
- (Q4819375) (← links)
- Recursive Definitions and Fixed-Points (Q5178958) (← links)
- Classical Logic with Mendler Induction (Q5283417) (← links)
- Evidence for Fixpoint Logic (Q5351951) (← links)
- Guarded negation (Q5890544) (← links)
- Least and Greatest Fixed Points in Linear Logic (Q5892168) (← links)
- A fixed-point theorem for Horn formula equations (Q6647303) (← links)
