1. A calculus for access control in distributed systems;Abadi;ACM Trans. Programming Language Syst.,1993
2. Deontic logic;Åqvist,1984
3. M. Baldoni, Normal multimodal logics: Automatic deduction and logic programming extension, PhD Thesis, Dipartimento di Informatica, Universitá degli Studi di Torino, 1998
4. A tableau calculus for multimodal logics and some (un)decidability results;Baldoni,1998
5. A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction;Bretier,1997