Related references
Note: Only part of the references are listed.Frame-validity games and lower bounds on the complexity of modal axioms
Philippe Balbiani et al.
LOGIC JOURNAL OF THE IGPL (2022)
Formula size games for modal logic and μ-calculus
Lauri T. Hella et al.
JOURNAL OF LOGIC AND COMPUTATION (2019)
Algebraic modal correspondence: Sahlqvist and beyond
Willem Conradie et al.
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING (2017)
On the succinctness of some modal logics
Tim French et al.
ARTIFICIAL INTELLIGENCE (2013)
Elementary canonical formulae: extending Sahlqvist's theorem
Valentin Goranko et al.
ANNALS OF PURE AND APPLIED LOGIC (2006)