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