Internal Calculi for Separation Logics.

Stéphane Demri Étienne Lozes Alessio Mansutti

Published in: CoRR (2019)

Keyphrases

sequent calculi
expressive power
modal logic
database
internal and external
nonmonotonic logics
internal structures
machine learning
expert systems
first order logic
conditional logic
cut elimination