Pages that link to "Item:Q631087"
From MaRDI portal
The following pages link to The complexity of satisfiability for fragments of hybrid logic. I. (Q631087):
Displayed 7 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)
- Model checking for hybrid branching-time logics (Q2291813) (← links)
- The expressibility of fragments of hybrid graph logic on finite digraphs (Q2446549) (← links)
- The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957) (← links)
- Parametrised Complexity of Satisfiability in Temporal Logic (Q5278205) (← links)