Dynamic logic with program specifications and its relational proof system.

Published in: J. Appl. Non Class. Logics (1993)

Keyphrases

dynamic logic
modal logic
imperative programs
inference rules
control flow
model checker
reasoning about actions
data model
temporal logic
relational databases
relational data
agent programming
computer programs
relational learning
default logic
situation calculus
multiple input
expert systems