The TPTP World of Non-classical Logics

The TPTP World

• The TPTP World
• The TPTP Problem Library
• The TSTP Solution Library
• The TPTP Language
• The SZS Ontology

The NXF and NHF Languages

• Overview
• More details, more examples (if you want)

Representing Kripke Interpretations

• Overview
• More details, more examples (if you want)

Tools for Non-classical Logics

• Leo-III
• GDV remains the same
• AGMMV

What Next?

The End - Any Questions?