Modular Tableaux Calculi for Separation Theories.

Simon Docherty David J. Pym

Published in: FoSSaCS (2018)

Keyphrases

sequent calculi
cut elimination
modal logic
modular structure
decision procedures
functional dependencies
linear logic
theoretical framework
sequent calculus
conditional logic
formal models
classical first order logic
design theory
database
automated reasoning
bayesian networks
artificial intelligence
databases