Dynamic logic

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkbp:appliesTo hybrid systems
concurrent programs
sequential programs
gptkbp:describes possible behaviors of computer programs
gptkbp:field gptkb:logic
computer science
gptkbp:formalizes actions and their effects
gptkbp:hasApplication software verification
hardware verification
gptkbp:hasVariant gptkb:propositional_dynamic_logic
gptkb:differential_dynamic_logic
gptkb:first-order_dynamic_logic
https://www.w3.org/2000/01/rdf-schema#label Dynamic logic
gptkbp:introduced 1970s
gptkbp:origin gptkb:David_Harel
gptkbp:relatedTo gptkb:logic
gptkb:Hoare_logic
gptkbp:used_in formal verification
program semantics
gptkbp:usedFor reasoning about programs
gptkbp:bfsParent gptkb:logic
gptkbp:bfsLayer 4