Dynamic Logic Web Demo

By IainJMcCallum, November 13, 2014
Code

Try clicking the counter arguments on the bottom right to turn them to false.