Provability logics for relative interpretability

In Petio Petrov Petkov (ed.), Mathematical Logic. Proceedings of the Heyting '88 Summer School. New York, NY, USA: pp. 31-42 (1990)
  Copy   BIBTEX

Abstract

In this paper the system IL for relative interpretability is studied.

Author's Profile

Frank Veltman
University of Amsterdam

Analytics

Added to PP
2009-01-28

Downloads
328 (#48,852)

6 months
65 (#62,844)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?