TY - BOOK AU - Zoran Ognjanović. TI - Probabilistic Extensions of Various Logical Systems SN - 9783030529543 PY - 2020/// CY - Cham PB - Springer KW - Computer logic. Probabilities. Mathematical logic. Logics and Meanings of Programs. Probability Theory and Stochastic Processes. Mathematical Logic and Foundations UR - https://doi.org/10.1007/978-3-030-52954-3 ER -