next up previous contents
Next: The general construction of Up: Towards the Interpretability Logic Previous: The aim of this

  
The modal completeness and decidability of $\mathit{ILM}$ via the construction method



 

Joost Joosten
2000-02-07