TPTP World Infrastructure for Non-classical Logics
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909735529218048 |
|---|---|
| author | Steen, Alexander Sutcliffe, Geoff |
| author_facet | Steen, Alexander Sutcliffe, Geoff |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_09318 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | TPTP World Infrastructure for Non-classical Logics Steen, Alexander Sutcliffe, Geoff Logic in Computer Science Artificial Intelligence 68T27 I.2.3; I.2.4; F.4.1 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. |
| title | TPTP World Infrastructure for Non-classical Logics |
| topic | Logic in Computer Science Artificial Intelligence 68T27 I.2.3; I.2.4; F.4.1 |
| url | https://arxiv.org/abs/2508.09318 |