Revision history for entry Hirsch, R.; Hodkinson, I.; Kurucz, A. (2002). "On modal logics between K × K × K and $s5 \times s5 \times s5$" [HIROML-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes