ARQNL 2022 : Automated Reasoning in Quantified Non-Classical Logics 2022 : Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) Haifa, Israel, August 11, 2022

Benzmüller, ChristophOtten, Jens2026-10-052026-10-052023https://fis.uni-bamberg.de/handle/uniba/117507engARQNL 2022 : Automated Reasoning in Quantified Non-Classical Logics 2022 : Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) Haifa, Israel, August 11, 2022conferenceobjecthttps://ceur-ws.org/Vol-3326/urn:nbn:de:0074-3326-4