next up previous contents
Next: The basic interpretability logic Up: Towards the Interpretability Logic Previous: The other principles

   
The modal logic of interpretability



 

Joost Joosten
2000-02-07