Pages that link to "Item:Q3532454"

The following pages link to Strongly Equivalent Temporal Logic Programs (Q3532454):

Displaying 4 items.

• Capturing equilibrium models in modal logic (Q2447178) (← links)
• Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
• Temporal equilibrium logic: a survey (Q4583305) (← links)
• Temporal logic programs with variables (Q4593085) (← links)