tools.malv.in
The following online tools are available here, hosted by Malvin Gattinger.
Logic
- genz-web,
a generic sequent calculus prover using a zipper
- smcdelweb,
a symbolic model checker for Dynamic Epistemic Logic
- tapdleau,
a PDL tableau prover with interpolation
- tapdleau-borzechowski,
an alternative version of the PDL tableau prover with interpolation
Fediverse