A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rosalie Iemhoff. A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic. In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing, editors, Advances in Modal Logic 2, papers from the second workshop on Advances in Modal logic, held in Uppsala, Sweden, 1998. pages 301-336, CSLI Publications, 1998.

This author has not been identified. Look up 'Rosalie Iemhoff' in Google