Propositional Dynamic Logic

GPTKB entity

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