Open Questions

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.

Joost Joosten
Last modified: Wed May 17 17:14:09 MET DST 2000