Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals.

Fausto Barbero Jonni Virtema

Published in: JELIA (2023)

Keyphrases

complete axiomatization
probabilistic logic
probability theory
uncertain data
probabilistic model
probabilistic knowledge
bayesian networks
logic programming
generative model
classical logic
database systems
distributed systems
modal logic
multi valued
proof theory