Justification logic with confidence (Q2193973)

The paper studies the justification logics in which modality has the following interpretation: \([\![\tau ]\!]\varphi\) means `\(S\) accepts \(\tau\) as justification for \(\varphi\)'. The modalities in this logic include an additional parameter to express the level of confidence that the agent derives in propositions on the basis of pieces of justification. To construct such a logic in the justification logic \(\mathrm J\), the constant specification is replaced with a confidence specification function \( \mathcal{CCS}: JCon \times Ax_{JC} \mapsto CCon\), which maps pairs of confidence constants and axiom instances to confidence constants, and the following rule is added: \[ (RC) \quad \text{Infer } \vdash [\![t]\!]_cA, \text{ where } \mathcal{CCS}(t,A) =c. \] A complete Fitting-style semantic (cf. [\textit{M. Fitting}, Ann. Pure Appl. Logic 132, No. 1, 1--25 (2005; Zbl 1066.03059)]) for the logic \(\mathrm{JC}\) is introduced.