Alexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller. Solving Modal Logic Problems by Translation to Higher-Order Logic. In Andreas Herzig, Jieting Luo, Pere Pardo, editors, Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings. Volume 14156 of Lecture Notes in Computer Science, pages 25-43, Springer, 2023. [doi]
Abstract is missing.