Modal Matters for Interpretability Logics

Evan Goris, Joost J. Joosten. Modal Matters for Interpretability Logics. Logic Journal of the IGPL, 16(4):371-412, 2008. [doi]

Abstract

Abstract is missing.