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.