Revision history for entry Cate, Balder: Expressivity of Second Order Propositional Modal Logic [CATEOS-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2023-03-12T17:03:16updateSystem / admin update
2018-03-08T21:43:09updateSystem / admin update
2017-02-21T04:30:53updateSystem / admin update
2017-02-20T21:27:12addSystem / admin update