Login / Signup
Some results on finite axiomatizability in modal logic.
E. J. Lemmon
Published in:
Notre Dame J. Formal Log. (1965)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
epistemic logic
classical logic
default logic
conditional logic
situation calculus
finite number
sequent calculus
machine learning
cooperative
explanation based generalization