On a K-Dimensional System of Inductive Logic · Study