Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics.

Serenella Cerrito, Marta Cialdea Mayer

Browse the full TABLEAUX paper archive.