Correction to: ``Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter

DOI10.1007/S11225-021-09977-8MaRDI QIDQ2118982OpenAlexFDO

Authors Mikhail Rybakov, Dmitry Shkatov

Publication date 23 March 2022

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-021-09977-8

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
• Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}
• Corrigendum to “Kripke‐style semantics for many‐valued logics”
• Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)

Cited in

(4)

• Correction to: ``A modal view on resource-bounded propositional logics
• Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
• Correction to: ``\(Log_A \mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
• CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION

This page was built for publication: Correction to: ``Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter

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