TPTP World Standards and Tools for
Tarskian and Kripke Interpretations

by
Geoff Sutcliffe University of Miami, USA	Alexander Steen University of Greifswald, Germany
Pascal Fontaine University of Liège, Belgium	Jack McKeown University of Miami, USA