TY  - RPRT
TI  - Solving Quantified Modal Logic Problems by Translation to Classical Logics
AU  - Alexander Steen
AU  - Geoff Sutcliffe
AU  - Christoph Benzmüller
PY  - 2024
DO  - 10.1093/logcom/exaf006
UR  - https://arxiv.org/abs/2212.09570
ID  - 2212.09570
ER  -