Glossary · Verification and certification
Goal
In the tactics domain, the regime for an action whose announced outcome must hold under best defence.
Goal is a regime of the tactics domain, for an action whose announced outcome must hold under best defence. Its motifs claim that the side pursuing a goal can achieve it against every legal defence. The claim covers the mechanism and its outcome together.
edition v3.0 · 2026slug goalFR But
Back to glossary