First-order Dynamic Logic

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf formal semantics
gptkbp:describes program behavior
gptkbp:developedBy gptkb:David_Harel
gptkbp:field gptkb:logic
computer science
gptkbp:hasApplication formal methods
automated reasoning
program verification
gptkbp:hasSyntax modal operators for programs
https://www.w3.org/2000/01/rdf-schema#label First-order Dynamic Logic
gptkbp:introducedIn 1979
gptkbp:relatedTo gptkb:logic
gptkb:first-order_logic
gptkb:propositional_dynamic_logic
gptkbp:usedFor reasoning about programs
gptkbp:bfsParent gptkb:Dynamic_Logic
gptkbp:bfsLayer 5