Pith. sign in

REVIEW 1 cited by

The TPTP Format for Interpretations

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2406.06108 v2 pith:HLPVX44L submitted 2024-06-10 cs.LO

Geoff Sutcliffe , Alexander Steen , Pascal Fontaine , Lydia Kondylidou This is my paper · ORCID
classification cs.LO
keywords formatinterpretationsdiscussedmodelstptpadequateapplicationsbackground
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original 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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. TPTP World Infrastructure for Non-classical Logics

    cs.LO 2025-08 unverdicted novelty 4.0 of 10

    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.

Pith tools