Serenella Cerrito, Marta Cialdea Mayer. Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics. In Didier Galmiche, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings. Volume 1227 of Lecture Notes in Computer Science, pages 138-152, Springer, 1997.
Abstract is missing.