@misc{indiciaefcefbdeba574,
  title = {Superintuitionistic predicate logics of linear frames: undecidability with two individual variables},
  author = {Mikhail Rybakov},
  year = {2025},
  url = {https://arxiv.org/abs/2505.00531},
  note = {Source identifier: 2505.00531}
}