Hintikka multiplicities in matrix decision methods for some propositional modal logics (1997)

by Serenella Cerrito, Marta Cialdea Mayer
Venue:In Analytic Tableaux and Related Methods (TABLEAUX 97