Pages that link to "Item:Q3623013"
From MaRDI portal
The following pages link to The Complexity of Generalized Satisfiability for Linear Temporal Logic (Q3623013):
Displayed 10 items.
- Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137) (← links)
- Towards a notion of unsatisfiable and unrealizable cores for LTL (Q433349) (← links)
- Backdoors for linear temporal logic (Q1725638) (← links)
- Lewis dichotomies in many-valued logics (Q1935553) (← links)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata (Q2147688) (← links)
- The model checking fingerprints of CTL operators (Q2317834) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- Generalized Satisfiability for the Description Logic $\mathcal{ALC}$ (Q3010434) (← links)
- Weak Kripke Structures and LTL (Q3090846) (← links)