"Guarded logic is a choice set of dynamic logic involved in choices, where outcomes are limited. A simple example of guarded logic is as follows: if X is true, then Y, else Z can be expressed in dynamic logic as (X?;Y)\u222A(~X?;Z). This shows a guarded logical choice: if X holds, then X?;Y is equal to Y, and ~X?;Z is blocked, and Y\u222Ablock is also equal to Y. Hence, when X is true, the primary performer of the action can only take the Y branch, and when false the Z branch."@en . . . . . . . "5935"^^ . "19349240"^^ . "1066529582"^^ . . . . . . . . . . . . . . . "Guarded logic"@en . . . . . . . "Guarded logic is a choice set of dynamic logic involved in choices, where outcomes are limited. A simple example of guarded logic is as follows: if X is true, then Y, else Z can be expressed in dynamic logic as (X?;Y)\u222A(~X?;Z). This shows a guarded logical choice: if X holds, then X?;Y is equal to Y, and ~X?;Z is blocked, and Y\u222Ablock is also equal to Y. Hence, when X is true, the primary performer of the action can only take the Y branch, and when false the Z branch. A real-world example is the idea of paradox: something cannot be both true and false. A guarded logical choice is one where any change in true affects all decisions made down the line."@en . . . .