C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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