De Finettian Logics of Indicative Conditionals Part II: Proof Theory and Algebraic Semantics.

Paul Égré Lorenzo Rossi Jan Sprenger

Published in: J. Philos. Log. (2021)

Keyphrases

proof theory
proof theoretic
default reasoning
conditional logic
belief revision
inheritance reasoning
automated reasoning
reasoning problems
nonmonotonic reasoning
default logic
expressive power
probabilistic inference
probabilistic reasoning
default theories