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.
The TPTP Format for Interpretations
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
This paper describes the TPTP format for representing interpretations. It provides a background survey that helped ensure that the representation format is adequate for different types of interpretations: Tarskian, Herbrand, and Kripke interpretations. The needs of applications that use models are considered. The syntax and semantics of the format are expounded in detail, with multiple examples. Verification of models is discussed. Some tools that support processing the format are noted. The properties of interpretations represented in the format are discussed.
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.