Pages that link to "Item:Q2851264"

The following pages link to Combining Equilibrium Logic and Dynamic Logic (Q2851264):

Displaying 3 items.

• Autoepistemic equilibrium logic and epistemic specifications (Q2307335) (← links)
• Capturing equilibrium models in modal logic (Q2447178) (← links)
• A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming (Q4988944) (← links)