Tools for teaching logic

A list of tools for teaching logic

Solvers

• SATRennesPa, a graphical user interface for a SAT solver
• Logic for fun, a solver + many puzzles
• Touist a graphical user interface and command line for using a SAT/SMT solver
• Potassco a solution for ASP (answer set programming)

Modal logic

• Modal Logic Playground
• Hintikka's World, a tool that displays Kripke structures
• SMCDEL a symbolic model checking for dynamic epistemic logic
• Lotrec a generic tableau prover
• List of tools by Renata Schmidt

Proof systems

• Pandora
• Pravda for natural deduction and resolution
• Panda for natural deduction
• The incredible proof machine

Program verification

• Why3

Model checkers for temporal logics

• NuSMV
• Spin

Modelling

• Alloy

Multi-agent systems

• MCMAS