On a Logic of Observations in Occurrence Nets: Short Presentation at the Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics