Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs.

Yusuke Kawamoto Tetsuya Sato Kohei Suenaga

Published in: CoRR (2022)

Keyphrases

statistical hypothesis testing
probability theory
provably correct
sample size
declarative semantics
modal operators
recursive programs
data sets
logic programming
knowledge representation
classical logic
truth values
dynamic logic
multi valued
logical framework