Login / Signup
On non-self-referential fragments of modal logics.
Junhua Yu
Published in:
Ann. Pure Appl. Log. (2017)
Keyphrases
</>
modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
classical logic
epistemic logic
dynamic logic
default logic
database
conditional logic
search algorithm
description logics
sequent calculus
autoepistemic logic
dynamic programming
xml documents
multi agent