scientific article; zbMATH DE number 937363

zbMATH Open0857.03007MaRDI QIDQ4896502

Artëm Chuprina, Sergei Artemov

Publication date: 20 October 1996

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

zbMATH Keywords

completenessdecidabilityprovability logiccomplexity of proofscomplexity measureslogic of proofsarithmetical completenesscomplexity logicslabeled modalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of proofs (03F20)

Related Items (2)

Logical operations and Kolmogorov complexity ⋮ Logic of Proofs and Labels with a Complete Set of Operations

Recommendations

• Logical Foundations of Proof Complexity 👍 👎
• Proof Complexity of Non-classical Logics 👍 👎
• Proof Complexity of Non-classical Logics 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q4896502)