1. Bell, J., Machover, M., A Course in Mathematical Logic, North Holland, 1977.
2. Beth, E.,’ Semantic entailment and formal derivability', in Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde 13, 309–342, 1955.
3. Cresswell, M., ‘Intensional logics and logical truth', Journal of Philosophical Logic 1, 2–15, 1972.
4. Delgrande, J.,’ A framework for logics of explicit belief', Computational Intelligence 11, 47–86, 1995.
5. Fagin, R., Halpern, J.,’ Belief, awareness and limited reasoning', Proceedings of IJCAI-85, 491–501, 1985.