Welcome to the LogicPalet site!
LogicPalet is a software tool designed to help students master the basic concepts of mathematical logic, with emphasis on semantic aspects.
It is written by Jan Denef from the K.U.Leuven. At this moment LogicPalet only works on Windows Vista, Windows XP, and Windows 7.
To obtain a free copy of the software please contact Jan Denef to get a password for downloading it.
Here is the documentation for LogicPalet .