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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Advances in Modal Logic ('98)
Editors	M de Rijke, K Segerberg, H Wansing, M Zakharyaschev
Place of Publication	Stanford
Publisher	Stanford, CA: CSLI Publications
Pages	319-354
Number of pages	36
Publication status	Published - 1998

Advances in Modal Logic

Cite this

@inproceedings{985741ddcde5487bb616bcb69612ab16,

title = "A modal analysis of some principles of the provability logic of Heyting arithmetic",

author = "R. Iemhoff",

note = "Advances in Modal Logic",

year = "1998",

language = "English",

pages = "319--354",

editor = "{de Rijke}, M and K Segerberg and H Wansing and M Zakharyaschev",

booktitle = "Advances in Modal Logic ('98)",

publisher = "Stanford, CA: CSLI Publications",

}

TY - GEN

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

AU - Iemhoff, R.

N1 - Advances in Modal Logic

PY - 1998

Y1 - 1998

M3 - Conference contribution

SP - 319

EP - 354

BT - Advances in Modal Logic ('98)

A2 - de Rijke, M

A2 - Segerberg, K

A2 - Wansing, H

A2 - Zakharyaschev, M

PB - Stanford, CA: CSLI Publications

CY - Stanford

ER -