Login / Signup

Higher-Order Causal Theories Are Models of BV-Logic.

Will SimmonsAleks Kissinger
Published in: MFCS (2022)
Keyphrases
  • causal theories
  • higher order
  • pairwise
  • answer set programming
  • markov random field
  • proof theory
  • modal logic