Solving Modal Logic Problems by Translation to Higher-Order Logic

Steen, AlexanderAlexanderSteenSutcliffe, GeoffGeoffSutcliffeScholl, TobiasTobiasSchollBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932023-08-242023-08-242023978-3-031-40874-8978-3-031-40875-5https://fis.uni-bamberg.de/handle/uniba/90114engSolving Modal Logic Problems by Translation to Higher-Order Logicbookpart10.1007/978-3-031-40875-5_3https://link.springer.com/content/pdf/10.1007/978-3-031-40875-5_3