A Formal Calculus for International Relations Computation and Evaluation
A LOGIC FOR UNCERTAIN PROBABILITIES