Deterministic Acceptance Logic