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 :