Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals.

Fausto Barbero Jonni Virtema

Published in: CoRR (2023)

Keyphrases

complete axiomatization
probabilistic logic
probability theory
probabilistic model
modal logic
logic programming
logical inference
bayesian networks
generative model
probabilistic knowledge
uncertain data
probabilistic reasoning
database
query answering
classical logic