Login / Signup
An Arithmetical Hierarchy in Propositional Dynamic Logic
Sorin Istrail
Published in:
Inf. Comput. (1989)
Keyphrases
</>
propositional dynamic logic
reasoning about actions
dynamic logic
metadata
neural network
logic programming
hierarchical structure
hierarchical organization
database
data sets
data model