1. Barnes, R. F. and R. D. Gumb: 1979, ‘The Completeness of Presupposition Free Tense Logic’, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (hereafter ZMLGM)
25, 193–208.
2. Boolos, G.: 1979 The Unprovability of Consistency. Cambridge: Cambridge University Press.
3. Fine, K: 1979 ‘Failures of the Interpolation Lemma in Quantified Modal Logic’, Journal of Symbolic Logic, 44 201–206.
4. Fine, K.: 1978, ‘Model Theory for Modal Logic, Part I—The De Re/De Dicto Distinction’, Journal of Philosophical Logic, 7 125–156.
5. Gabbay, D.: 1975 ‘Model Theory for Tense Logics’, Annals of Mathematical Logic
8, 185–236.