This HTML5 document contains 35 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Guarded_logic
rdfs:label
Guarded logic
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.
dcterms:subject
dbc:Modal_logic
dbo:wikiPageID
19349240
dbo:wikiPageRevisionID
1066529582
dbo:wikiPageWikiLink
dbr:Description_logic dbr:Dynamic_logic_(modal_logic) dbr:Hajnal_Andréka dbr:Paradox dbr:Second-order_logic dbr:Guarded_Second-Order_Logic dbr:Moshe_Y._Vardi dbr:Guarded_bisimulations dbr:Guarded_fixed_point_logic dbr:Database_theory dbr:István_Németi dbr:Mathematical_logic dbr:Temporal_logic dbr:First-order_logic dbc:Modal_logic dbr:Bisimulation dbr:Modal_logic dbr:Automata_theory dbr:Johan_van_Benthem_(logician) dbr:Choice_set
owl:sameAs
dbpedia-fa:منطق_محافظت‌شده freebase:m.04n0krq n14:4kMtf wikidata:Q5614006
dbp:wikiPageUsesTemplate
dbt:Reflist
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.
gold:hypernym
dbr:Set
prov:wasDerivedFrom
wikipedia-en:Guarded_logic?oldid=1066529582&ns=0
dbo:wikiPageLength
5935
foaf:isPrimaryTopicOf
wikipedia-en:Guarded_logic