Login / Signup
Losing Connection: Modal Logic of Definable Link Deletion.
Dazhu Li
Published in:
CoRR (2018)
Keyphrases
</>
modal logic
situation calculus
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
default logic
nonmonotonic logics
conditional logic
explanation based generalization
first order logic
autoepistemic logic
dynamic logic
transitive closure
answer sets
modal operators