Zoran Ognjanović.

Probabilistic Extensions of Various Logical Systems - Cham Springer 2020

9783030529543


Computer logic. Probabilities. Mathematical logic. Logics and Meanings of Programs. Probability Theory and Stochastic Processes. Mathematical Logic and Foundations.