The TPTP benchmark framework, from release v9.0.0, standardizes language, problems, solutions, and tools for non-classical logics, and this paper documents the design with a quantified modal logic walkthrough.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
TPTP World Infrastructure for Non-classical Logics
The TPTP benchmark framework, from release v9.0.0, standardizes language, problems, solutions, and tools for non-classical logics, and this paper documents the design with a quantified modal logic walkthrough.