Jeremy E. Dawson, Rajeev Goré. A Mechanisation of Classical Modal Tense Logics Using Isabelle. In Grigoris Antoniou, John K. Slaney, editors, Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI 98, Brisbane, Australia, July 13-17, 1998, Selected Papers. Volume 1502 of Lecture Notes in Computer Science, pages 107-118, Springer, 1998.
Abstract is missing.