A Cut-Free Sequent System for the Smallest Interpretability Logic Katsumi Sasaki OriginalPaper Pages: 353 - 372
Interpolation and Definability in Guarded Fragments Eva HooglandMaarten Marx OriginalPaper Pages: 373 - 409