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