Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics

• Authors:

• Serenella Cerrito;Marta Cialdea Mayer

• Affiliations:

• -;-

• Venue:
• TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
• Year:
• 1997