罗德里克·贾尔 没有明确可访问性的可能世界表。 27-28 1992 conf/tableaux/1992 TABLEAUX公司 db/conf/tableaux/tableaux 92.html#Girle92