Login / Signup
Linear Reasoning in Modal Logic.
Melvin Fitting
Published in:
J. Symb. Log. (1984)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
situation calculus
classical logic
reasoning tasks
description logic alc
conditional logic
dynamic logic
reasoning systems
knowledge representation
knowledge base
case based reasoning
machine learning