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-09-162022-09-162022https://fis.uni-bamberg.de/handle/uniba/55555engAutomated Reasoning in Non-classical Logics in the TPTP Worldconferenceobjecthttp://ceur-ws.org/Vol-3201/paper11.pdf