de Finetti's coherence and exchangeability in infinitary logic.

Serafina Lapenta

Published in: Int. J. Approx. Reason. (2022)

Keyphrases

logic programming
multi valued
real time
proof theory
asynchronous circuits
modal logic
logical framework
classical logic
epistemic logic
formal theory
expert systems
deductive reasoning
logic synthesis
predicate logic
image processing
machine learning
data mining
real world
databases
data sets