THE K-DIMENSIONAL FIXED POINT THEOREM OF PROVABILITY LOGIC

Christian Ewerhart

No 01-32, Sonderforschungsbereich 504 Publications from Sonderforschungsbereich 504, Universität Mannheim, Sonderforschungsbereich 504, University of Mannheim

Abstract: The paper contains a detailed proof of the K-dimensional fixed point theorem for modal provability logic GL. We illustrate the use of the result in Peano Arithmetic and suggest a game-theoretic application.

Pages: 14 pages
Date: 2001-05-12
Note: Financial support from the Deutsche Forschungsgemeinschaft, SFB 504, at the University of Mannheim, is gratefully acknowledged.
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:xrs:sfbmaa:01-32

Ordering information: This working paper can be ordered from

Access Statistics for this paper

More papers in Sonderforschungsbereich 504 Publications from Sonderforschungsbereich 504, Universität Mannheim Contact information at EDIRC., Sonderforschungsbereich 504, University of Mannheim
Bibliographic data for series maintained by Carsten Schmidt ( this e-mail address is bad, please contact ).