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 :