Vineet Padmanabhan Guido Governatori A Fibred Tableau Calculus for Modal Logics of Agents. 105-122 2006 conf/dalt/2006 DALT http://dx.doi.org/10.1007/11961536_8 db/conf/dalt/dalt2006.html#PadmanabhanG06