Fariñas del Cerro, L., & Gasquet, O. (2004). Minimal structures for modal tableaux: Some examples. Logic and Logical Philosophy, 8(8), 99–114. https://doi.org/10.12775/LLP.2000.007