A Proof Theoretic Methodology for Propositional Dynamic Logic.

Published in: ICFPC (1981)

Keyphrases

proof theoretic
propositional dynamic logic
linear logic
nonmonotonic reasoning
default reasoning
fixpoint
dynamic logic
proof theory
constraint logic programming
model theoretic
machine learning
artificial intelligence
knowledge base
logic programming