Login / Signup
Modal Logic via Global Consequence.
Xuefeng Wen
Published in:
CoRR (2019)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
classical logic
conditional logic
default logic
global information
epistemic logic
nonmonotonic logics
dynamic logic
prime implicates
model checking
probabilistic reasoning
autoepistemic logic