Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024), Nancy, France, July 1, 2024

Benzmüller, ChristophOtten, JensRamanayake, Revantha2025-01-092025-01-092024https://fis.uni-bamberg.de/handle/uniba/105539engProceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024), Nancy, France, July 1, 2024bookhttp://ceur-ws.org/Vol-3875/