Defines n-ary Kripke models where worlds contain (n-1)-ary models and modal operators are interpreted via fixed points on the same world, extending the accessibility-axiom correspondence to intuitionistic and non-classical modal logics.
Simpson, The proof theory and semantics of intuitionistic modal logic , Ph.D
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Higher-order Kripke models for intuitionistic and non-classical modal logics
Defines n-ary Kripke models where worlds contain (n-1)-ary models and modal operators are interpreted via fixed points on the same world, extending the accessibility-axiom correspondence to intuitionistic and non-classical modal logics.