1. van Benthem, J. (1991): The Logic of Time, Kluwer, Dordrecht (Second Edn.; First Edn. 1983).
2. Bignall, R., Spinks, M. and Veroff, R. (15–18 June, 2005): ‘On the assertional logic of the generic pointed discriminator variety’, presented at the conference Algebraic and Topological Methods in Non-Classical Logics II, Barcelona.
3. Blamey, S. and Humberstone, L. (1991): A perspective on modal sequent logic, Publications of the Research Institute for Mathematical Sciences (Kyoto University) 27, 763–782.
4. Blok, W. and Pigozzi, D. (1989): Algebraizable logics, Memoirs of the American Math. Soc. 77, #396.
5. Byrd, M. (1973): Knowledge and true belief in Hintikka's epistemic logic, Journal of Philosophical Logic 2, 181–192.