WineHQ
Category: Main Educational Software, CBT Tarski's World

Tarski's World

No Screenshot
Part of the "Language, Proof and Logic" suite of instructional software for introductory logic courses. Lets you manipulate a blocks worlds and write sentences in first-order language, and evaluate their truth in the worlds.

Application Details:

Developer: CSLI
URL: http://www-csli.stanford.edu/h...

Super Maintainers: About Maintainership

No maintainers. Volunteer today!

For more details and user comments, view the versions of this application

VersionDescriptionLatest RatingLatest Wine version testedTest resultsComments
5.3Part of the "Language, Proof and Logic" suite of instructional software for introductory logic courses. Lets you manipulate a blocks worlds and write sentences in first-order language, and evaluate their truth in the worlds.00
Back