Dynamic Logic

GPTKB entity

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