A first-order conditional probability logic with iterations

From MaRDI portal
Publication:2929897