Feferman Interpretability

Joost J. Joosten, Luka Mikec, Albert Visser

We introduce a modal logic FIL for Feferman interpretability. In this logic both the provability modality and the interpretability modality can come with a label. This label indica…