Login / Signup
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.
Sara Negri
Published in:
Arch. Math. Log. (2003)
Keyphrases
</>
sequent calculi
conditional logic
belief change
belief revision
geometric structure
bayesian networks
modal logic
geometric constraints