Pages that link to "Item:Q4645232"
From MaRDI portal
The following pages link to Sequent calculi for default and autoepistemic logics (Q4645232):
Displaying 5 items.
- Proof complexity of propositional default logic (Q647339) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Alternative foundations for Reiter's default logic (Q1589575) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Refutation systems: an overview and some applications to philosophical logics (Q6601769) (← links)
