The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination

作者：Ghilardi Silvio^*; Mints Grigori

来源：Logic Journal of the IGPL, 2014, 22(4): 585-596.

DOI：10.1093/jigpal/jzt052

• Modal logic
• cut-elimination
• correspondence theory
• step frames

We introduce the system K4De. It is obtained by weakening the reflexivity axiom to the density axiom in the standard axiom set for S4. We analyze K4De both from the semantic and the proof theoretic side, giving in particular a cut-free system of rules for it.

• 出版日期2014-8