scientific article; zbMATH DE number 4027437

MaRDI QIDQ3768879zbMATH OpenFDO

Authors Sergei Artemov

Publication date 1987

zbMATH Keywords

arithmeticintuitionistic logicmodal logicprovability interpretation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 4099259
• Explicit provability and constructive semantics
• scientific article; zbMATH DE number 3963790
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• Arithmetical Completeness of the Intuitionistic Logic of Proofs

Cited in

(11)

• Supervaluation fixed-point logics of truth
• Number of prelocally table superintuitionistic propositional logics
• A smart child of Peano's
• Superintuitionistic companions of classical modal logics
• Subintuitionistic logics and the implications they prove
• scientific article; zbMATH DE number 3849201 (Why is no real title available?)
• scientific article; zbMATH DE number 4099259 (Why is no real title available?)
• scientific article; zbMATH DE number 1354095 (Why is no real title available?)
• Realization of Intuitionistic Logic by Proof Polynomials
• A new constant in superintuitionistic logic L3
• scientific article; zbMATH DE number 3316016 (Why is no real title available?)

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