Revision history for entry Stouppa, Phiniki (2007). "A deep inference system for the modal logic S" [STOADI]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2015-02-06T00:01:52updateSystem / admin update -
2014-03-18T00:48:03updateSystem / admin update -
2014-01-23T00:04:57updateSystem / admin update -
2013-12-01T20:48:35updateSystem / admin update -