Pages that link to "Item:Q4880541"
From MaRDI portal
The following pages link to A proof theoretical approach to default reasoning I: tableaux for default logic (Q4880541):
Displaying 11 items.
- Proof complexity of propositional default logic (Q647339) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Defaults as restrictions on classical Hilbert-style proofs (Q1895976) (← links)
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules (Q3455758) (← links)
- Seminormalizing a default theory (Q3647232) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Sequent calculi for default and autoepistemic logics (Q4645232) (← links)
- A uniform tableaux method for nonmonotonic modal logics (Q5235255) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029) (← links)
