Recent machines (no order) godel, quine, alfred, herbrand, gentzen, per, thoralf, and current main box, barcan (ruth barcan marcus