@misc{indiciae26705001fb57,
  title = {Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter},
  author = {Mikhail Rybakov and Dmitry Shkatov},
  year = {2022},
  doi = {10.1007/s11225-018-9815-7},
  url = {https://arxiv.org/abs/1706.05060},
  note = {Source identifier: 1706.05060}
}