Solving quantified modal logic problems by translation to classical logics

DOI10.1093/LOGCOM/EXAF006MaRDI QIDQ6909867zbMATH OpenFDO

Authors Alexander Steen, Geoff Sutcliffe, Christoph Benzmüller

Publication date 29 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

zbMATH Keywords

first-order logicnon-classical logicsautomated theorem provinghigher-order logicquantified modal logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: Solving quantified modal logic problems by translation to classical logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6909867)