scientific article; zbMATH DE number 937368

zbMATH Open0865.03053MaRDI QIDQ4896508FDOQ4896508

Authors: Alex Hendriks, Dick H. J. de Jongh 

Publication date: 1 July 1997

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

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

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)

Cited In (4)

• A computational algebraic geometry approach to enumerate Malcev magma algebras over finite fields
• Title not available (Why is that?)
• 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)