1. J. Bell and M. Machover. A Course in Mathematical Logic. North Holland, 1977.
2. E. Beth. Semantic entailment and formal derivability. Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde, 13:309–342, 1955.
3. B. Bretier and M.D. Sadek. A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction. In J. P. Muller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
4. M. Cresswell. Intensional logics and logical truth. Journal of Philosophical Logic, 1:2–15, 1972.
5. J. Delgrande. A framework for logics of explicit belief. Computational Intelligence, 11:47–86, 1995.