Labelled tableaux for multi-modal logics (1995)

by G Governatori
Venue:TABLEAUX’95, LNAI 918