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,
* interpretabilty.
There is also a document especially on
Casari's axiom and on
Markovs principle related to Kripke
completeness.
Any suggestions are very welcome.