Pages that link to "Item:Q4982095"
From MaRDI portal
The following pages link to The Complexity of Satisfiability for Fragments of CTL and CTL⋆ (Q4982095):
Displayed 7 items.
- The complexity of propositional implication (Q989577) (← links)
- Complexity results for modal dependence logic (Q1956378) (← links)
- Intention as commitment toward time (Q1989411) (← links)
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions (Q3644762) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5918962) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)
- Modal logics and local quantifiers: a zoo in the elementary hierarchy (Q6181934) (← links)