Pages that link to "Item:Q3569000"
From MaRDI portal
The following pages link to Second order logic and the weak exponential hierarchies (Q3569000):
Displaying 11 items.
- Languages represented by Boolean formulas (Q290253) (← links)
- Power domains and second-order predicates (Q685429) (← links)
- Partially ordered connectives and monadic monotone strict NP (Q1024818) (← links)
- Succinct representation, leaf languages, and projection reductions (Q1271623) (← links)
- Expressive power and complexity of partial models for disjunctive deductive databases (Q1274974) (← links)
- Succinctness as a source of complexity in logical formalisms (Q1302307) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- Stability of weak second-order semantics (Q1825629) (← links)
- Existential Fixed-Point Logic as a Fragment of Second-Order Logic (Q2947165) (← links)
- The complexity class θp2: Recent results and applications in AI and modal logic (Q5055917) (← links)