Revision history for entry Ferrari, Mauro: Cut-free tableau calculi for some intuitionistic modal logics [FERCTC]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-12-24T21:04:05updateSystem / admin update
2019-12-24T20:45:56updateSystem / admin update
2015-02-06T05:00:58updateSystem / admin update
2014-03-31T12:10:11updateSystem / admin update
2013-12-02T01:46:36updateSystem / admin update
2010-09-28T03:06:18updateSystem / admin update