Some general questions merely on the modal aspects of relevant interpretability logics come from my masters thesis.
Here one can find a recent list of questions
on amongst others
* admissible rules,
* super intuitionistic logics,
There is also a document especially on Casari's axiom and on Markovs principle related to Kripke completeness.
Any suggestions are very welcome.