Provability logics for relative interpretability

In Petio Petrov Petkov, Mathematical Logic. Proceedings of the Heyting '88 Summer School. Springer. pp. 31-42 (1990)
  Copy   BIBTEX

Abstract

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

Author Profiles

Dick De De Jongh
University of Amsterdam
Frank Veltman
University of Amsterdam

Analytics

Added to PP
2009-01-28

Downloads
457 (#59,525)

6 months
77 (#77,644)

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?