Dependence logic - CaLiGraph

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual System of formal logic
rdfs:label	Dependence logic
owl:sameAs	dbr:Dependence_logic
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Systems_of_formal_logic
skos:prefLabel	Dependence logic
skos:altLabel	Dependence Logic Dependence_logic#Semantics Dependence_logic#Team_logic dependence logic
is clgo:knownFor of	Jouko Väänänen

About: clgr:Dependence_logic