Pages that link to "Item:Q2851264"
From MaRDI portal
The following pages link to Combining Equilibrium Logic and Dynamic Logic (Q2851264):
Displaying 4 items.
- Autoepistemic equilibrium logic and epistemic specifications (Q2307335) (← links)
- Capturing equilibrium models in modal logic (Q2447178) (← links)
- Partial equilibrium logic (Q2457796) (← links)
- A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming (Q4988944) (← links)