Login / Signup
Modular Labelled Sequent Calculi for Abstract Separation Logics.
Zhe Hou
Ranald Clouston
Rajeev Goré
Alwen Tiu
Published in:
ACM Trans. Comput. Log. (2018)
Keyphrases
</>
sequent calculi
conditional logic
modal logic
cut elimination
high level
general purpose
expressive power
partial order
situation calculus
nonmonotonic reasoning
wide class