Automated Reasoning in Non-classical Logics in the TPTP World

Steen, AlexanderAlexanderSteenFuenmayor, DavidDavidFuenmayor0000-0002-0042-4538Gleißner, TobiasTobiasGleißnerSutcliffe, GeoffGeoffSutcliffeBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-07-142022-07-142022https://fis.uni-bamberg.de/handle/uniba/54664engAutomated Reasoning in Non-classical Logics in the TPTP Worldpreprint10.48550/ARXIV.2202.09836