1. Belnap, N., A useful four-valued logic, in J. M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-Valued Logic, 1977, pp. 5–37.
2. Blackburn, P., M. De Rijke, and Y. Venema, Modal Logic, Cambridge University Press, Cambridge MA, 1974.
3. Celani, S. A., Distributive lattices with a negation operator, Mathematical Logic Quarterly 45(2): 207–218, 1999.
4. Dos̆en, K., Negation as a modal operator. Reports on Mathematical Logic 20: 15–27, 1986.
5. Dos̆en, K., Negation and impossibility, in J. Perzanowski (ed.), Essays on Philosophy and Logic, Jagiellonian University Press, Cracow, 1987, pp. 85–91.