Hintikka multiplicities in matrix decision methods for some propositional modal logics
Cerrito, S ; Mayer, MC ; - ASI Sponsor
Jan - 1997
journal : Automated Reasoning with Analytic Tableaux and
type: Article Journal
Abstract
keywords :