This is the web interface of GenZ.

Please choose a logic: K K4 D D4 T S4 GL IPL CPL

Then enter a formula below or choose an example: p → p p → ¬¬p p ↔ ¬¬p p → p p → ¬¬p p ↔ ¬¬p ☐(p1 & p2) → (☐p1 | ☐p2) ¬◇false ☐☐☐☐true ¬¬¬¬false ☐p1 -> ☐☐p1 ☐☐p → ☐p ☐☐☐☐☐☐p → ☐☐☐p ☐☐p → ☐p p → <>p ☐(☐p→p)→☐p