Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Guarded logic
open-in-new
<p>Guarded logic is a <a href="/facts/Choice_set/0PQBd6Ep">choice set</a> of <a href="/facts/Dynamic_logic_(modal_logic)/TrTa7Jty">dynamic logic</a> involved in choices, where outcomes are limited. </p><p>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)∪(~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∪block 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. </p><p>A real-world example is the idea of <a href="/facts/Paradox/3VLGjuWf">paradox</a>: 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. </p>