Pages that link to "Item:Q3864500"
From MaRDI portal
The following pages link to Satisfiability problems for propositional calculi (Q3864500):
Displaying 6 items.
- Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137) (← links)
- On the applicability of Post's lattice (Q436335) (← links)
- The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
- The complexity of circumscriptive inference in Post's lattice (Q692903) (← links)
- Generalized modal satisfiability (Q988571) (← links)
- The complexity of propositional implication (Q989577) (← links)
