1. Aczel, P. ?Saturated intuitionistic theories?, in: H. Schmidt, K. Schütte & H. Thielle (eds.) Contributions to Mathematical Logic, 1?13, North-Holland, Amsterdam, 1968.
2. Barwise, J. & Perry, J., Situations and Attitudes, MIT Press, Cambridge (USA), 1983.
3. Benthem, van J., Language in Action. Categories, Lambdas and Dynamic Logic, North-Holand, Amsterdam, 1991.
4. Blamey, S., ?Partial Logic?, in: Gabbay & Günthner (eds) Handbook of Philosophical Logic, volume 3, Reidel, Dordrecht, 1986.
5. Halpern, J. & Y. Moses, ?Towards a theory of knowledge and ignorance?, in Kr. Apt (ed.) Logics and Models of Concurrent Systems, Springer-Verlag, Berlin, 1985.