Login / Signup
The Reasoning Powers of Burstall's (Modal Logic) and Pnueli's (Temporal Logic) Program Verification Methods.
Ildikó Sain
Published in:
Logic of Programs (1985)
Keyphrases
</>
temporal logic
modal logic
model checking
belief revision
inference rules
decision procedures
mazurkiewicz traces
satisfiability problem
qualitative and quantitative
default logic
classical logic
heuristic search
reasoning tasks
temporal knowledge
dynamic logic
verification method