Revision history for entry Wolter, Frank (1997). "Completeness and decidability of tense logics closely related to logics above K" [WOLCAD] |
| Time | Type | Notes |
Revision history for entry Wolter, Frank (1997). "Completeness and decidability of tense logics closely related to logics above K" [WOLCAD] |
| Time | Type | Notes |