https://github.com/francoisschwarzentruber/tools-for-teaching-logic

A list of tools for teaching logic
https://github.com/francoisschwarzentruber/tools-for-teaching-logic

education educational-project list logic logic-programming modal-logic model-checking multi-agent-systems proof-systems sat-solver

Last synced: about 1 month ago
JSON representation

A list of tools for teaching logic

• Host: GitHub
• URL: https://github.com/francoisschwarzentruber/tools-for-teaching-logic
• Owner: francoisschwarzentruber
• License: gpl-3.0
• Created: 2023-05-27T11:17:15.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-05-27T16:20:08.000Z (over 1 year ago)
• Last Synced: 2024-11-13T10:52:47.060Z (3 months ago)
• Topics: education, educational-project, list, logic, logic-programming, modal-logic, model-checking, multi-agent-systems, proof-systems, sat-solver
• Homepage: https://francoisschwarzentruber.github.io/tools-for-teaching-logic/
• Size: 17.6 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Tools for teaching logic

A list of tools for teaching logic

## Solvers

- [SATRennesPa](satrennespa.irisa.fr/), a graphical user interface for a SAT solver

- [Logic for fun](https://l4f.cecs.anu.edu.au/), a solver + many puzzles

- [Touist](https://touist.github.io/) a graphical user interface and command line for using a SAT/SMT solver 

- [Potassco](https://potassco.org/) a solution for ASP (answer set programming)

## Modal logic

- [Modal Logic Playground](https://rkirsling.github.io/modallogic/)

- [Hintikka's World](http://hintikkasworld.irisa.fr/), a tool that displays Kripke structures

- [SMCDEL](https://w4eg.de/malvin/illc/smcdelweb/index.html) a symbolic model checking for dynamic epistemic logic

- [Lotrec](https://www.irit.fr/Lotrec/) a generic tableau prover

- [List of tools by Renata Schmidt](http://www.cs.man.ac.uk/~schmidt/tools/)

## Proof systems

- [Pandora](https://www.doc.ic.ac.uk/pandora/newpandora/index.html)

- [Pravda](http://pravda.irisa.fr/) for natural deduction and resolution

- [Panda](http://people.irisa.fr/Francois.Schwarzentruber/panda/) for natural deduction

- [The incredible proof machine](https://incredible.pm/)

## Program verification

- [Why3](https://why3.lri.fr/)

## Model checkers for temporal logics

- [NuSMV](https://nusmv.fbk.eu/)

- [Spin](https://spinroot.com/)

## Modelling

- [Alloy](http://alloytools.org/)

## Multi-agent systems

- [MCMAS](https://vas.doc.ic.ac.uk/software/mcmas/)