Information Flow: Logics for the (r)age of information http://www.iam.unibe.ch/til/publications/pubitems/kel02