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

DOI10.1007/S10817-022-09633-3OpenAlexW4296023077MaRDI QIDQ2102952FDOQ2102952

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

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

Mathematics Subject Classification ID

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

Cited In (3)

• Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput
• 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)