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