Title: Logics for OO information systems