Pages that link to "Item:Q2721207"
From MaRDI portal
The following pages link to A tableau calculus for equilibrium entailment (Q2721207):
Displaying 10 items.
- Tableaux and sequent calculus for minimal entailment (Q688552) (← links)
- Equilibrium logic (Q854969) (← links)
- Capturing equilibrium models in modal logic (Q2447178) (← links)
- Partial equilibrium logic (Q2457796) (← links)
- A qualitative temporal extension of here-and-there logic (Q2694563) (← links)
- Computing equilibrium models using signed formulas (Q2767096) (← links)
- The Modal Logic of Equilibrium Models (Q3172888) (← links)
- Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis (Q5038472) (← links)
- Logics in Artificial Intelligence (Q5394164) (← links)
- Quantified Equilibrium Logic and Foundations for Answer Set Programs (Q5504679) (← links)