1. J.-Y. Béziau, R.P. de Freitas, J.P. Viana. What is Classical Propositional Logic? (A Study in Universal Logic), Logica Studies 7, 2001.
2. C. Caleiro. Combining Logics. PhD thesis, IST, TU Lisbon, Portugal, 2000.
3. J. Czelakowski. Equivalential logics I, II, Studia Logica 40, pp. 227–236, 335–372.
4. D. Gabbay. What is a Logical System? Oxford University Press, 1994.
5. R. Goldblatt. Logics of Time and Computation. CSLI, 1992. Second edition.