TY  - RPRT
TI  - Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
AU  - Mikhail Rybakov
PY  - 2025
UR  - https://arxiv.org/abs/2505.00531
ID  - 2505.00531
ER  -