Solving modal logic problems by translation to higher-order logic

DOI10.1007/978-3-031-40875-5_3zbMath1528.68393arXiv2212.09570OpenAlexW4385453598MaRDI QIDQ6139085

Could not fetch data.

Publication date: 16 January 2024

Published in: (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2212.09570

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.