1. Baader et al., 2017a – Baader, F., Horrocks, I., Lutz, C., and Sattler, U. An Introduction to Description Logic. Cambridge: Cambridge University Press, 2017.
2. Baader et al., 2017b – Baader, F., Horrocks, I., Lutz, C., and Sattler, U. “A Basic Description Logic”, in: An Introduction to Description Logic. Cambridge: Cambridge University Press, 2017, pp. 10–49.
3. Badie, 2018 – Badie, F. “Towards a Formal Symbolic Occurrence Logic”, in: The Meaning of Language, ed. by Gotzsche, H. Newcastle: Cambridge Scholars Publishing, 2018, pp. 290–300.
4. Gotzsche, 2013 – G¨otzsche, H. Deviational Syntactic Structures. London / New Delhi / New York / Sydney: Bloomsbury Academic, 2013.
5. Kripke, 1963 – Kripke, S. “Semantical Considerations on Modal Logic”, Acta Phil. Fennica, 1963, Vol. 16, pp. 83–94.