Decidability of IF Modal Logic of Perfect Recall.

Tapani Hyttinen Tero Tulenheimo

Published in: Advances in Modal Logic (2004)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
classical logic
high precision
precision and recall
conditional logic
description logics
dynamic logic
situation calculus
default logic
nonmonotonic logics
query answering
expert systems
prime implicates
explanation based generalization