Fibred modal tableaux (preliminary report (1998)

by Dov M Gabbay, Guido Governatori
Venue:Tilburg University