Revision history for entry Cate, Balder ten (2006). "Expressivity of second order propositional modal logic" [CATEOS]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-01-23T21:53:24updateSystem / admin update -