LP-1992-10: Maarten de Rijke Meeting Some Neighbours (a dynamic modal logic meets theories of change and knowledge representation) 1.Full Text. < Back