[Iem2001] A modal analysis of some principles of the Provability Logic of Heyting Arithmetic

Tree

Index

Bibliography

[Iem2001] A modal analysis of some principles of the Provability Logic of Heyting Arithmetic

Iem01c (In proceedings)
Author(s)	Iemhoff R.
Title	"A modal analysis of some principles of the Provability Logic of Heyting Arithmetic"
Date	2001
In	Advances in Modal Logic
Editor(s)	Rijke (de) M., Segerberg K., Wansing H. and Zakharyaschev M.
Volume	2
Page(s)	319-354
Publisher	CSLI Publications

BibTeX code

@inproceedings{Iem01c,
  volume = {2},
  title = {A modal analysis of some principles of the Provability Logic of {H}eyting Arithmetic},
  year = {2001},
  booktitle = {Advances in Modal Logic},
  pages = {319-354},
  editor = {M. de Rijke AND K. Segerberg AND H. Wansing AND M. Zakharyaschev},
  publisher = {CSLI Publications},
  address = {Stanford},
  author = {Iemhoff, Rosalie},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug