Most language models ignore stipulated modal semantics under direct prompting, but reasoning mode can restore sensitivity on a balanced paired benchmark.
TPTP World Infrastructure for Non-classical Logics
1 Pith paper cite this work, alongside 1 external citations. Polarity classification is still indexing.
1
Pith paper citing it
1
external citations · Pith
abstract
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.
fields
cs.CL 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?
Most language models ignore stipulated modal semantics under direct prompting, but reasoning mode can restore sensitivity on a balanced paired benchmark.