Login / Signup
Modal Logic via Global Consequence.
Xuefeng Wen
Published in:
WoLLIC (2021)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
classical logic
nonmonotonic logics
epistemic logic
conditional logic
model checking
situation calculus
modal operators
case based reasoning
default logic
sequent calculus
artificial intelligence
autoepistemic logic
domain knowledge
cooperative