Login / Signup
Some Compactness Results for Modal Logic.
George F. Schumm
Published in:
Notre Dame J. Formal Log. (1989)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
epistemic logic
default logic
nonmonotonic logics
conditional logic
classical logic
dynamic logic
sequent calculus
situation calculus
reinforcement learning
autoepistemic logic
prime implicates
description logic alc