Solving Quantified Modal Logic Problems by Translation to Classical Logics

Steen, AlexanderAlexanderSteenSutcliffe, GeoffGeoffSutcliffeBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932024-05-232024-05-232024https://fis.uni-bamberg.de/handle/uniba/95350engSolving Quantified Modal Logic Problems by Translation to Classical Logicspreprint10.48550/arxiv.2212.095702212.09570