scientific article; zbMATH DE number 1166301

MaRDI QIDQ4396604zbMATH OpenFDO

Authors E. Yu. Nogina

Publication date 16 June 1998

zbMATH Keywords

decidabilitymodal logicarithmetical completenessGrzegorczyk logic GrzKripke-style completenessmodal proof operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Logic of proofs
• scientific article; zbMATH DE number 517064
• Logic of proofs and provability
• scientific article; zbMATH DE number 937363
• The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic

Cited in

(8)

• scientific article; zbMATH DE number 517064 (Why is no real title available?)
• Justified common knowledge
• scientific article; zbMATH DE number 1989643 (Why is no real title available?)
• Topological Semantics of Justification Logic
• A note on Grzegorczyk's logic
• scientific article; zbMATH DE number 4132124 (Why is no real title available?)
• The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic
• Maximality in modal 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 Q4396604)