Ground and free-variable tableaux for variants of quantified modal logics
Mayer, MC ; Cerrito, S ; - ASI Sponsor
Jan - 2001

journal : Studia Logica
type: Article Journal

Abstract

keywords :