Dynamic logic (modal logic)

Property	Value
rdf:type	owl:NamedIndividual
rdfs:label	Dynamic logic (modal logic)
owl:sameAs	dbr:Dynamic_logic_(modal_logic)
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(D%E2%80%93H)
skos:prefLabel	Dynamic logic (modal logic)
skos:altLabel	dynamic logic dynamic Dynamic logic (modal logic)#Propositional dynamic logic (PDL) Dynamic logic dynamic logic (modal logic)
is clgo:knownFor of	Rohit Jivanlal Parikh

About: clgr:Dynamic_logic_(modal_logic)