The following pages link to Giambattista Amati (Q1317898):
Displayed 12 items.
- A uniform tableau method for intuitionistic modal logics. I (Q1317899) (← links)
- Intuitionistic autoepistemic logic (Q1370461) (← links)
- (Q1402720) (redirect page) (← links)
- Definability and commonsense reasoning (Q1402721) (← links)
- Defaults as restrictions on classical Hilbert-style proofs (Q1895976) (← links)
- (Q4737025) (← links)
- (Q4877438) (← links)
- A proof theoretical approach to default reasoning I: tableaux for default logic (Q4880541) (← links)
- (Q4895421) (← links)
- (Q4934637) (← links)
- Conceptual Graphs and First Order Logic (Q4950848) (← links)
- Advances in Information Retrieval (Q5308031) (← links)