Operationalizing Operational Logics