mlsanityData to 14 Oct 2026

TPTP World Infrastructure for Non-classical Logics

arXiv 2508.09318 ↗First posted 12 Aug 2025cs.LO cs.AIcited by 1

Not on the map. Why?

Abstract (arXiv)

The TPTP World is the well established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems. The TPTP World supports a range of classical logics, and since release v9.0.0 has supported non-classical logics. This paper provides a self-contained comprehensive overview of the TPTP World infrastructure for ATP in non-classical logics: the non-classical language extension, problems and solutions, and tool support. A detailed description of use of the infrastructure for quantified normal multi-modal logic is given.

Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 6 of its 112 references that are in the map. First posted on arXiv 12 Aug 2025.

Builds on

6 of 112 references.

References · 6

  1. 2019Extensional Higher-Order Paramodulation in Leo-IIIcited by 11
  2. 2013Formalization, Mechanization and Automation of G"odel's Proof of God's Existencecited by 5
  3. 2022Automated Reasoning in Non-classical Logics in the TPTP Worldcited by 4
  4. 2022An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoningcited by 4
  5. 2015A First Class Boolean Sort in First-Order Theorem Proving and TPTPcited by 2
  6. 2024The TPTP Format for Interpretationscited by 2

Built on by

Cited by year

Citing papers per year: 2025: 1.

1 paper.

  1. 2025A Reduction of Input/Output Logics to SATcited by 0