An extension of Kracht s theorem to generalized Sahlqvist formulas

Stanislav Kikot. An extension of Kracht s theorem to generalized Sahlqvist formulas. Journal of Applied Non-Classical Logics, 19(2):227-251, 2009. [doi]

Abstract

Abstract is missing.