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

DOI10.1007/s11225-021-09977-8OpenAlexW4200564949MaRDI QIDQ2118982

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)

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