Reasoning about knowledge : some agent properties - Maleković, Mirko (Array, 1998)