scientific article; zbMATH DE number 1166301

zbMATH Open0897.03015MaRDI QIDQ4396604FDOQ4396604

Authors: E. Yu. Nogina 

Publication date: 16 June 1998

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

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

zbMATH Keywords

decidabilitymodal logicarithmetical completenessGrzegorczyk logic GrzKripke-style completenessmodal proof operators

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Justified common knowledge
• Title not available (Why is that?)
• Topological Semantics of Justification Logic
• A note on Grzegorczyk's logic
• Title not available (Why is that?)
• 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)