TPTP World Standards and Tools for
Tarskian and Kripke Interpretations

The TPTP World

Interpretations and Models

• What do we Need?
• What do we Have?

Representing D+M Interpretations

• Tarskian Interpretations in One TF0 Formula
• Tarskian Interpretations in One TF0 File
• Tarskian Interpretations with Separate Domains
• Kripke Interpretations in One TX0 Formula
• Kripke Interpretations in One TX0 File

Tools for Interpretations

• The AGMV Model Verifier
• The IIV Interactive Interpretation Viewer

Conclusion

Advertisement: The TPTP World Tour