Action axiom (original) (raw)
An action axiom is an axiom that embodies a criterion for describing action. Action axioms are of the form "If a condition holds, then the following will be done".
An action axiom is an axiom that embodies a criterion for describing action. Action axioms are of the form "If a condition holds, then the following will be done".