scientific article; zbMATH DE number 4210107

MaRDI QIDQ3358710zbMATH OpenFDO

Authors Alexei Y. Muravitsky

Publication date 1988

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)

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

Cited in

(5)

• The non-reflexive counterpart of Grz
• A note on Grzegorczyk's logic
• scientific article; zbMATH DE number 4168652 (Why is no real title available?)
• scientific article; zbMATH DE number 4045717 (Why is no real title available?)
• The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic

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)