Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Guarded_logic> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Guarded_logic 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 a ∪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.".
- Guarded_logic wikiPageID "19349240".
- Guarded_logic wikiPageLength "6126".
- Guarded_logic wikiPageOutDegree "14".
- Guarded_logic wikiPageRevisionID "689675381".
- Guarded_logic wikiPageWikiLink Category:Modal_logic.
- Guarded_logic wikiPageWikiLink Choice_set.
- Guarded_logic wikiPageWikiLink Database_theory.
- Guarded_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- Guarded_logic wikiPageWikiLink Guarded_Second-Order_Logic.
- Guarded_logic wikiPageWikiLink Guarded_bisimulations.
- Guarded_logic wikiPageWikiLink Guarded_fixed_point_logic.
- Guarded_logic wikiPageWikiLink Guarded_logic.
- Guarded_logic wikiPageWikiLink Hajnal_Andréka.
- Guarded_logic wikiPageWikiLink István_Németi.
- Guarded_logic wikiPageWikiLink Johan_van_Benthem_(logician).
- Guarded_logic wikiPageWikiLink Mathematical_logic.
- Guarded_logic wikiPageWikiLink Moshe_Vardi.
- Guarded_logic wikiPageWikiLink Paradox.
- Guarded_logic wikiPageWikiLinkText "Guarded logic".
- Guarded_logic wikiPageWikiLinkText "guarded logic".
- Guarded_logic wikiPageWikiLinkText "guarded".
- Guarded_logic wikiPageUsesTemplate Template:Expert-subject.
- Guarded_logic wikiPageUsesTemplate Template:Logic-stub.
- Guarded_logic wikiPageUsesTemplate Template:Reflist.
- Guarded_logic subject Category:Modal_logic.
- Guarded_logic hypernym Set.
- Guarded_logic 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 a ∪block is also equal to Y.".
- Guarded_logic label "Guarded logic".
- Guarded_logic sameAs Q5614006.
- Guarded_logic sameAs m.04n0krq.
- Guarded_logic sameAs Q5614006.
- Guarded_logic wasDerivedFrom Guarded_logic?oldid=689675381.
- Guarded_logic isPrimaryTopicOf Guarded_logic.