Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
formal semantics
|
gptkbp:describes |
possible behaviors of computer programs
|
gptkbp:developedBy |
gptkb:David_Harel
|
gptkbp:extendsTo |
gptkb:logic
|
gptkbp:field |
gptkb:logic
computer science |
gptkbp:hasApplication |
automated theorem proving
formal verification model checking |
gptkbp:hasVariant |
gptkb:First-order_Dynamic_Logic
gptkb:Propositional_Dynamic_Logic |
https://www.w3.org/2000/01/rdf-schema#label |
Dynamic Logic
|
gptkbp:introducedIn |
1970s
|
gptkbp:notation |
[α]φ
⟨α⟩φ |
gptkbp:relatedTo |
gptkb:logic
gptkb:Hoare_logic program verification |
gptkbp:studiedIn |
formal methods
theoretical computer science |
gptkbp:usedFor |
reasoning about programs
|
gptkbp:bfsParent |
gptkb:logic
|
gptkbp:bfsLayer |
4
|