Sahlqvist Formulas in Hybrid Polyadic Modal Logics

Valentin Goranko, Dimiter Vakarelov. Sahlqvist Formulas in Hybrid Polyadic Modal Logics. Journal of Logic and Computation, 11(5):737-754, 2001. [doi]

Abstract

Abstract is missing.