Internal Calculi for Separation Logics.

Stéphane Demri Étienne Lozes Alessio Mansutti

Published in: CSL (2020)

Keyphrases

sequent calculi
modal logic
expressive power
neural network
inference rules
internal states
query language
nonmonotonic logics
conditional logic
proof theory
propositional calculus