Propositional dynamic logic

http://dbpedia.org/resource/Propositional_dynamic_logic

rdf:langString Propositional dynamic logic
xsd:integer 35215578
xsd:integer 483859895
xsd:nonNegativeInteger 75
<http://dbpedia.org/resource/Dynamic_logic_(modal_logic)>
<http://dbpedia.org/resource/Dynamic_logic_(modal_logic)>
<http://en.wikipedia.org/wiki/Propositional_dynamic_logic?oldid=483859895&ns=0>
<http://en.wikipedia.org/wiki/Propositional_dynamic_logic>

data from the linked data cloud