Login / Signup
Dual-context calculi for modal logic.
G. A. Kavvos
Published in:
LICS (2017)
Keyphrases
</>
modal logic
temporal logic
inference rules
sequent calculi
decision procedures
epistemic logic
contextual information
nonmonotonic logics
conditional logic
context aware
situation calculus
classical logic
dynamic logic
fuzzy logic
default logic
prime implicates