IGPL
2008
13 years 11 months ago
2008
This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later res...