Observational Structures and Their Logics