scientific article; zbMATH DE number 4210107

zbMATH Open0732.03013MaRDI QIDQ3358710FDOQ3358710

Authors: Alexei Y. Muravitsky 

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• Publication:3495340
• scientific article; zbMATH DE number 4045717
• The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic
• scientific article; zbMATH DE number 1166301
• scientific article; zbMATH DE number 3963789

zbMATH Keywords

modal logicprovability logic GLGrzegorczyk logic Grz

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Gödel numberings and issues of incompleteness (03F40)

Cited In (5)

• A note on Grzegorczyk's logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic
• The non-reflexive counterpart of Grz

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3358710)