scientific article; zbMATH DE number 6296790

zbMath1291.03010MaRDI QIDQ5416147

Itala M. Loffredo D'Ottaviano, Hércules de Araújo Feitosa

Publication date: 19 May 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicintuitionistic logicclassical logicconservative translationstranslations between logicscontextual translationsGödel's interpretations between logicsrelative consistency of arithmetic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) History of mathematical logic and foundations (03-03) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Reasoning about proof and knowledge ⋮ Three-valued logics in modal logic

This page was built for publication: