Switch to: Citations

References in:

Kripke Models of Transfinite Provability Logic

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 185-199 (1998)

Add references

You must login to add references.

No references yet.