An infinitary propositional probability logic.
Stefano BaratellaPublished in: Arch. Math. Log. (2023)
Keyphrases
- sound and complete axiomatization
- multi valued
- probability theory
- probabilistic logic
- horn clauses
- propositional logic
- quantum computation
- logic programming
- probability distribution
- classical first order logic
- deductive reasoning
- classical logic
- default logic
- predicate calculus
- proof procedure
- truth maintenance systems
- modal logic
- belief revision
- general logic programs
- first order logic
- logic programs
- computational properties
- dynamic logic
- probabilistic reasoning
- neural network
- logic programs with negation