Justification logic with confidence

DOI10.1007/S11225-019-09874-1MaRDI QIDQ2193973zbMATH OpenOpenAlexFDO

Authors Ted Shear, J. Quiggin

Publication date 25 August 2020

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-019-09874-1

zbMATH Keywords

bounded rationalityconfidencejustificationjustification logicmodal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Review text

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.

Recommendations

• Justification Logic
• Logic of confidence
• Reasoning with Justifications
• The logic of justification
• The Logic of Justification
• Justification logic. Reasoning with reasons
• A logic of plausible justifications
• A logic of plausible justifications
• A new framework for justification logic
• scientific article; zbMATH DE number 1923157

Cites work

• Belief, awareness, and limited reasoning
• Dealing with logical omniscience: expressiveness and pragmatics
• Distributed knowledge justification logics
• Explicit provability and constructive semantics
• First steps towards probabilistic justification logic
• scientific article; zbMATH DE number 194182 (Why is no real title available?)
• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• scientific article; zbMATH DE number 515725 (Why is no real title available?)
• scientific article; zbMATH DE number 589737 (Why is no real title available?)
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• Impossible possible worlds vindicated
• Justification logic with approximate conditional probabilities
• Justification logic. Reasoning with reasons
• Logic of proofs
• Possibilistic justification logic: reasoning about justified uncertain beliefs
• Possible world semantics for first-order logic of proofs
• Probabilistic justification logic
• The complexity of non-iterated probabilistic justification logic
• The logic of proofs, semantically
• The logic of uncertain justifications
• The ontology of justifications in the logical setting
• Tracking reasons with extensions of relevant logics

Cited in

(3)

• A logic you can count on
• The logic of uncertain justifications
• The logic of uncertain justifications

This page was built for publication: Justification logic with confidence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2193973)