Login / Signup
Modular Labelled Sequent Calculi for Abstract Separation Logics.
Zhe Hou
Ranald Clouston
Rajeev Goré
Alwen Tiu
Published in:
CoRR (2017)
Keyphrases
</>
sequent calculi
conditional logic
modal logic
cut elimination
sequent calculus
propositional dynamic logic
high level
feature space
artificial intelligence
default reasoning
decision procedures