An approach to stochastic processes via non-classical logic.

Antonio Di Nola Anatolij Dvurecenskij Serafina Lapenta

Published in: Ann. Pure Appl. Log. (2021)

Keyphrases

classical logic
stochastic processes
stochastic process
logic programming
random fields
modal logic
probability distribution
random variables
intuitionistic logic
default logic
valued logic
dynamic bayesian networks
continuous time bayesian networks
logic programs
non stationary