Skip navigation
Skip navigation

Theoremhood-preserving maps characterising cut elimination for modal provability logics

Demri, Stephane; Gore, Rajeev


Propositional modal provability logics like G and Grz have arithmetical interpretations where □φ can be read as 'formula φ is provable in Peano Arithmetic'. These logics are decidable but are characterized by classes of Kripke frames which are not fir

CollectionsANU Research Publications
Date published: 2002
Type: Journal article
Source: Journal of Logic and Computation
DOI: 10.1093/logcom/12.5.861


File Description SizeFormat Image
01_Demri_Theoremhood-preserving_maps_2002.pdf231.15 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  27 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator