Switch to: Citations

References in:

How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics

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

Add references

You must login to add references.

No references yet.