On Tame Semantics for Interpretability Logic.

Vicent Navarro Arroyo, Joost J. Joosten

Browse the full WoLLIC paper archive.