Author: Shoshin Nomura 野村尚新

Website: https://nomuras.github.io/ELVis/

screenshot1 (Kripke model editor)

screenshot2 (theorem prover for an epistemic logic)