Statements (33)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:logic
formal semantics |
gptkbp:complexity |
EXPTIME-complete
|
gptkbp:decidability |
decidable
|
gptkbp:developedBy |
1970s
|
gptkbp:field |
gptkb:logic
computer science |
gptkbp:hasApplication |
formal verification
model checking program analysis |
gptkbp:hasFeature |
choice operator
composition operator deterministic programs iteration operator modal operators nondeterministic programs program constructs propositional variables regular programs test operator |
gptkbp:hasSemantics |
gptkb:Kripke_semantics
|
gptkbp:hasSubgroup |
dynamic logic
|
gptkbp:hasSyntax |
modal operators for programs
|
https://www.w3.org/2000/01/rdf-schema#label |
Propositional Dynamic Logic
|
gptkbp:notableContributor |
gptkb:David_Harel
gptkb:Dexter_Kozen gptkb:J._Tiuryn |
gptkbp:relatedTo |
gptkb:logic
dynamic logic program verification |
gptkbp:usedFor |
reasoning about computer programs
|
gptkbp:bfsParent |
gptkb:Dynamic_Logic
|
gptkbp:bfsLayer |
5
|