Observational Logics and True Concurrency,