Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}

DOI10.1007/S10817-022-09633-3MaRDI QIDQ2102952OpenAlexFDO

Authors Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon

Publication date 12 December 2022

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-022-09633-3

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)
• Local is best: efficient reductions to modal logic \textsf{K}
• Corrigendum to ``The logic of the strongest and the weakest t-norms
• Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\)
• Corrigendum to: ``A new method to obtain termination in backward proof search for modal logic S4

Cited in

(4)

• Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput
• Correction to: ``Meta-interpretive learning as metarule specialisation
• Local is best: efficient reductions to modal logic \textsf{K}
• Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\)

This page was built for publication: Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2102952)