相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。A Lindstrom Theorem for Intuitionistic Propositional Logic
Guillermo Badia et al.
NOTRE DAME JOURNAL OF FORMAL LOGIC (2020)
First-Order Modal Logic: Frame Definability and a Lindstrom Theorem
R. Zoghifard et al.
STUDIA LOGICA (2018)
On generalized Van Benthem-type characterizations
Grigory K. Olkhovikov
ANNALS OF PURE AND APPLIED LOGIC (2017)
Model-theoretic characterization of intuitionistic predicate formulas
Grigory K. Olkhovikov
JOURNAL OF LOGIC AND COMPUTATION (2014)
MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS
Grigory K. Olkhovikov
REVIEW OF SYMBOLIC LOGIC (2013)
A General Lindstrom Theorem for Some Normal Modal Logics
Sebastian Enqvist
LOGICA UNIVERSALIS (2013)