Login / Signup
Context logic as modal logic: completeness and parametric inexpressivity.
Cristiano Calcagno
Philippa Gardner
Uri Zarfaty
Published in:
POPL (2007)
Keyphrases
</>
modal logic
classical logic
temporal logic
decision procedures
epistemic logic
inference rules
nonmonotonic logics
dynamic logic
situation calculus
default logic
conditional logic
sequent calculi
context aware
sequent calculus
modal operators
autoepistemic logic
model checking