Elementary Classes in Basic Modal Logic.

Published in: Stud Logica (2000)

Keyphrases

artificial intelligence
modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
situation calculus
prime implicates
conditional logic
default logic
class labels
relational databases