Logics for reasoning about degrees of confirmation
Šejla Dautović, Dragan Doder, Zoran Ognjanović · Journal of Logic and Computation · 2021
Abstract In this paper, we present a first-order and a propositional logic for reasoning about degrees of confirmation. We define the appropriate formal languages and describe the corresponding classes of models. We provide infinitary axiomatizations for both logics and we prove that the axiomatizations are sound and strongly complete. We also show that our propositional logic is decidable. For some restrictions of the logics, we provide finitary axiomatic systems.