Fibred Tableaux for Multi-Implication Logics (1996)

Cached

Download Links

by Marcello D'Agostino , Fibred Tableaux , Dov M. Gabbay
Citations:7 - 3 self