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