Studia Logica

, Volume 50, Issue 1, pp 29–38 | Cite as

Some independence results in interpretability logic

  • Vítězslav Švejdar

Abstract

A Kripke-style semantics developed by de Jongh and Veltman is used to investigate relations between several extensions of interpretability logic, IL.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [F]
    S. Feferman, Arithmetization of metamathematics in a general setting, Foundation of Mathematics 49 (1960), pp. 33–92.Google Scholar
  2. [HŠv]
    P. Hájek and V. Švejdar, A note on the normal form of closed formulas of interpretability logic, preprint.Google Scholar
  3. [dJV]
    D. de Jongh and F. Veltman, Provability logic for relative interpretability, to appear in Proceedings of the Heyting Conference, Chaika, Bulgaria,1988.Google Scholar
  4. [Šv]
    V. Švejdar, Modal analysis of generalized Rosser sentences, Journal of Symbolic Logic 48 (1983), no. 4, pp. 986–999.Google Scholar
  5. [Vi88]
    A, Visser, Interpretability logic, Logic Group Preprint Series no. 40, Department of Philosophy, University of Utrecht, Utrecht, to appear in Proceedings of the Heyting Conference, Chaika, Bulgaria, 1988.Google Scholar
  6. [Vi89]
    A. Visser, An inside view of EXP, or: The dosed fragment of the provability logic of (IΔ01), Logic Group Preprint Series no. 43, Department of Philosophy, University of Utrecht, Utrecht, 1989.Google Scholar

Copyright information

© Polish Academy of Sciences 1991

Authors and Affiliations

  • Vítězslav Švejdar
    • 1
  1. 1.Department of LogicFF UKPraha 1Czechoslovakia

Personalised recommendations