1. Anderson, A.R., Belnap, N.D.: Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton, NJ (1975)
2. Andréka, H., van Benthem, J., Németi, I.: Modal languages and bounded fragments of predicate logic. J. Philos. Logic 27, 217–274 (1998)
3. Aguzzoli, S., Ciabattoni, A.: Finiteness of infinite-valued Łukasiewicz logic. J. Logic, Lang. Inf. 9, 5–29 (2000)
4. Andréka, H., Németi, I., Sain, I.: Algebraic logic. In: Handbook of Philosophical Logic, 2nd edn., vol. 2. Kluwer, Dordrecht (2001)
5. Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Gottlob, G., Walsh, T. (eds) Proceedings of the 18th International Joint Conference on Artificial Intelligence, (IJCAR 2003), pp. 325–330. Morgan Kaufmann, San Mateo, CA (2003)