Propositional logic
SATRennesPA, an online user-friendly tool for the satisfiability problem for Classical Propositional Logic
First order logic
Panda, a pedagogical software for natural deduction
Modal logic
Hintikka’s World, a pedagogical software to show intelligent artificial agents that reason about higher-order knowledge (a knows that b knows that…). All examples are modeled in dynamic epistemic logic.
LoTREC, a pedagogical software for tableau methods
LotrecScheme, a pedagogical software for tableau methods
Plaza’s world, a pedagogical software for epistemic modal logic and public announcement logic
Security
ATSyRA, a tool to synthesize attack trees for physical security analysis
ATSyRA2, a tool to assist security experts to design, synthesize, and analyze attack trees
