About: Guarded logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Johan_van_Benthem_(logician) dbr:Automata_theory dbr:First-order_logic dbr:Description_logic dbr:Paradox dbr:Modal_logic dbc:Modal_logic dbr:Dynamic_logic_(modal_logic) dbr:Mathematical_logic dbr:Bisimulation dbr:Choice_set dbr:Hajnal_Andréka dbr:Temporal_logic dbr:Second-order_logic dbr:Database_theory 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:label	Guarded logic (en)
owl:sameAs	freebase:Guarded logic wikidata:Guarded logic dbpedia-fa:Guarded logic dbpedia-global:Guarded logic dbr:Guarded logic
prov:wasDerivedFrom	wikipedia-en:Guarded_logic?oldid=1281929459&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

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International