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


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