The following pages link to (Q4525286):
Displaying 5 items.
- Generalized hex and logical characterizations of polynomial space (Q287159) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic (Q4336698) (← links)
- Capturing complexity classes with Lindström quantifiers (Q5096870) (← links)
