Guido Governatori Labelled Tableaux for Multi-Modal Logics. 79-94 1995 conf/tableaux/1995 TABLEAUX db/conf/tableaux/tableaux95.html#Governatori95 https://doi.org/10.1007/3-540-59338-1_29 https://www.wikidata.org/entity/Q58177172