Modal matters in interpretability logics (2004)

by E Goris, J J Joosten
Venue:University of Utrecht