A modal analysis of some principles of the provability logic of Heyting arithmetic

Authors
Publication date 2001
Host editors
  • M. de Rijke
  • K. Segerberg
  • H. Wansing
  • M. Zakharyaschev
Book title Advances in Modal Logic ('98)
Volume | Issue number 2
Pages (from-to) 319-354
Publisher Stanford, CA: CSLI Publications
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back