The following pages link to Valentin Cassano (Q2055756):
Displayed 9 items.
- Default modal systems as algebraic updates (Q2055757) (← links)
- Interpolation and Beth definability in default logics (Q2296753) (← links)
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules (Q3455758) (← links)
- (Q5018505) (← links)
- Reasoning About Prescription and Description Using Prioritized Default Rules (Q5222955) (← links)
- (Q5878365) (← links)
- Non-monotonic reasoning via dynamic consequence (Q6160757) (← links)
- Algebraic tools for default modal systems (Q6189207) (← links)