This article is cited in 2 papers

Grzegorczyk logic with arithmetical proof operators

E. Yu. Nogina

M. V. Lomonosov Moscow State University

Abstract: Logics with the modal operator “\ldots is true and provable” together with the modal proof operators “p is a proof of \ldots” are axiomatized. Kripke-style completeness, decidability and arithmetical completeness of these logics are established.

UDC: 510.65

Received: 01.12.1995

Bibliographic databases:

• 
•