scientific article; zbMATH DE number 937368

MaRDI QIDQ4896508zbMATH OpenFDO

Authors Alex Hendriks, Dick H. J. de Jongh

Publication date 1 July 1997

zbMATH Keywords

finitely generated algebraprovability logicexact formulasdiagonalizable algebraPeano Arithmeticarithmetical interpretationinterpretable theories

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• Publication:4896518
• scientific article; zbMATH DE number 1215499
• scientific article; zbMATH DE number 1097010
• On the complexity of arithmetical interpretations of modal formulae
• scientific article; zbMATH DE number 4197983

Cited in

(4)

• A computational algebraic geometry approach to enumerate Malcev magma algebras over finite fields
• scientific article; zbMATH DE number 937377 (Why is no real title available?)
• The complexity of the modal predicate logic of “true in every transitive model of ZF”
• Doing logic by computer: Interpolation in fragments of intuitionistic propositional 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 Q4896508)