3 papers
cs.LO2026
The TPTP Format for Interpretations
Geoff Sutcliffe, Alexander Steen, Pascal Fontaine +1
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 t…
cs.LO2026
A Reduction of Input/Output Logics to SAT
Alexander Steen
Deontic logics are formalisms for reasoning over norms, obligations, permissions and prohibitions. Input/Output (I/O) Logics are a particular family of so-called norm-based deontic…
cs.LO2025
TPTP World Infrastructure for Non-classical Logics
Alexander Steen, Geoff Sutcliffe
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 rang…