TY  - RPRT
TI  - Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
AU  - Christopher Hampson
AU  - Agi Kurucz
PY  - 2015
DO  - 10.1145/2757285
UR  - https://arxiv.org/abs/1407.1386
ID  - 1407.1386
ER  -