1. Aldewereld, H., van der Hoek, W., Meyer, J.-J.C.: Rational teams: Logical aspects of multi-agent systems. Fundamenta Informaticae 63, 159–183 (2004)
2. Attardi, G., Simi, M.: Proofs in context. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) KR 1994: Principles of Knowledge Representation and Reasoning, pp. 16–26. Morgan Kaufmann, San Francisco (1994)
3. Balbiani, P., Fariñas del Cerro, L., Herzig, A.: Declarative semantics for modal logic programs. In: Proceedings of the 1988 International Conference on Fifth Generation Computer Systems, pp. 507–514. ICOT (1988)
4. Baldoni, M.: Normal multimodal logics with interaction axioms. In: Basin, D., D’Agostino, M., Gabbay, D.M., Viganò, L. (eds.) Labelled Deduction, pp. 33–57. Kluwer Academic Publishers, Dordrecht (2000)
5. Baldoni, M., Giordano, L., Martelli, A.: A framework for a modal logic programming. In: Joint International Conference and Symposium on Logic Programming, pp. 52–66. MIT Press, Cambridge (1996)