LCN or Logical Credal Networks is a new probabilistic logic that allows specifying conditional probability bounds on propositional logic formulas. - View it on GitHub