相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。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)