Metric First-Order Temporal Logic
AssessTechniques
A formal logic for expressing properties of events over time, used here for temporal policy conditions.
Why it's here
Placed in Assess: 1 article(s) of evidence from 1 source(s), led by framework updates, with 1 in the last 30 days. Confidence 24%. Low accumulated evidence, so it defaults conservatively pending more signal.
Evidence (1)
- 7The New Stack·8/6/2026framework_updateAWS launches Dogwood for policy control over AI agent tool sequences
AWS has released Dogwood, an open-source policy language and reference interpreter designed to govern sequences of AI agent tool calls rather than isolated actions. It is also adding Dogwood support to Amazon Bedrock AgentCore Policy, extending AWS’s policy-based controls with temporal rules for prerequisites, rate limits, and ordering.