scientific article; zbMATH DE number 6139995

MaRDI QIDQ4906893zbMATH OpenFDO

Authors

Publication date 28 February 2013

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1406469
• The Gödel-Tarski translations of intuitionistic propositional formulas
• scientific article; zbMATH DE number 5081354
• scientific article; zbMATH DE number 107689
• Interpreting Gödel. Critical essays
• Interpreting Gödel
• scientific article; zbMATH DE number 4170862
• Gödel and intuitionism
• scientific article; zbMATH DE number 517058
• scientific article; zbMATH DE number 922632

Cited in

(2)

• MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
• scientific article; zbMATH DE number 5081354 (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 Q4906893)