tools-for-teaching-logic

Tools for teaching logic

A list of tools for teaching logic

Propositional logic

• 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

Modelling languages

• 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
• Lotrecscheme, a generic tableau prover
• List of tools by Renata Schmidt

Non-monotonic logics

• EXTRC: A defeasible reasoning tool using Rational Closure and Lexicographic Closure

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

This site is open source. Improve this page.