Revision history for entry Bra√ľner, Torben (2005). "Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere" [BRAPFC]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-20T21:18:37updateSystem / admin update -
2014-01-23T00:04:40updateSystem / admin update -
2013-12-01T20:48:10updateSystem / admin update -