Logic 2018 is a remake of Logic 2010, an educational logic game in which players solve logical derivations by instantiating logical rules.
An alpha build is available at http://groupstack.net/Logic2018. Click on the operating system of your choice, unpack the zip archive and run the executable.
The program is currently fully command-line based with 5 problem sets in sentential logic and a few rules.
Further Alpha Releases:
-More rules and problem sets will then be added
-Predicate logic will then be added with new rules and problem sets
-Bugs will be fixed as they arise
-Beta release will introduce a GUI interface using the Unity Engine
-Web and Mobile will also be introduced and tested
-The full final release will be available in the Web as well as on Mobile so that students can solve derivations wherever they go
-Integration with actual Logic courses will also be offered