Pages that link to "Item:Q989577"
From MaRDI portal
The following pages link to The complexity of propositional implication (Q989577):
Displayed 6 items.
- Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137) (← links)
- On the applicability of Post's lattice (Q436335) (← links)
- The complexity of circumscriptive inference in Post's lattice (Q692903) (← links)
- Lewis dichotomies in many-valued logics (Q1935553) (← links)
- Generalized Satisfiability for the Description Logic $\mathcal{ALC}$ (Q3010434) (← links)
- The Complexity of Reasoning for Fragments of Default Logic (Q3637157) (← links)