Pages that link to "Item:Q4635843"
From MaRDI portal
The following pages link to On the Complexity of Temporal Equilibrium Logic (Q4635843):
Displaying 8 items.
- The complexity of temporal logic over the reals (Q636345) (← links)
- Metabolic Pathways as Temporal Logic Programs (Q2835858) (← links)
- On the Expressiveness of Temporal Equilibrium Logic (Q2835869) (← links)
- Stable Models for Temporal Theories (Q3449185) (← links)
- An infinitary encoding of temporal equilibrium logic (Q4593006) (← links)
- Temporal logic programs with variables (Q4593085) (← links)
- Asymptotic behaviour in temporal logic (Q4635593) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)