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

DOI10.1007/S11225-021-09977-8OpenAlexW4200564949MaRDI QIDQ2118982FDOQ2118982

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)

Cited In (4)

• CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
• 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

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)