Return to Article Details Some Logics in the Vicinity of Interpretability Logics Download Download PDF