Luis Fariñas del Cerro Olivier Gasquet A General Framework for Pattern-Driven Modal Tableaux. 51-83 2002 10 Logic Journal of the IGPL 1 http://www3.oup.co.uk/igpl/Volume_10/Issue_01/#Farinas db/journals/igpl/igpl10.html#CerroG02