Effective completeness theorems for modal logic.

Suman Ganguli Anil Nerode

Published in: Ann. Pure Appl. Log. (2004)

Keyphrases

modal logic
inference rules
temporal logic
decision procedures
artificial intelligence
situation calculus
nonmonotonic logics
high quality
programming language
functional dependencies
conditional logic
epistemic logic
dynamic logic