Guarded logic (original) (raw)
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)∪(~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.
| Property | Value |
|---|---|
| dbo:abstract | 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)∪(~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. 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) |
| dbo:wikiPageID | 19349240 (xsd:integer) |
| dbo:wikiPageLength | 5935 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1066529582 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Modal_logic dbr:Description_logic dbr:Dynamic_logic_(modal_logic) dbr:Mathematical_logic dbr:Choice_set dbr:Hajnal_Andréka dbr:Database_theory dbr:First-order_logic dbr:Paradox dbr:Temporal_logic dbc:Modal_logic dbr:Johan_van_Benthem_(logician) dbr:Bisimulation dbr:Automata_theory dbr:Second-order_logic dbr:Moshe_Y._Vardi dbr:István_Németi dbr:Guarded_Second-Order_Logic dbr:Guarded_bisimulations dbr:Guarded_fixed_point_logic |
| dbp:wikiPageUsesTemplate | dbt:Reflist |
| dct:subject | dbc:Modal_logic |
| gold:hypernym | dbr:Set |
| rdfs:comment | 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)∪(~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. (en) |
| rdfs:label | Guarded logic (en) |
| owl:sameAs | freebase:Guarded logic wikidata:Guarded logic dbpedia-fa:Guarded logic https://global.dbpedia.org/id/4kMtf |
| prov:wasDerivedFrom | wikipedia-en:Guarded_logic?oldid=1066529582&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Guarded_logic |
| is dbo:wikiPageRedirects of | dbr:Guarded_fragment |
| is dbo:wikiPageWikiLink of | dbr:Description_logic dbr:Clique_complex dbr:Tuple-generating_dependency dbr:Guarded_fragment |
| is foaf:primaryTopic of | wikipedia-en:Guarded_logic |