A quantified logic of evidence

DOI10.1016/J.APAL.2007.11.003MaRDI QIDQ2478547zbMATH OpenOpenAlexFDO

Authors Melvin Fitting

Publication date 28 March 2008

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2007.11.003

zbMATH Keywords

modal logicjustification logiclogic of proofsrealization theoremlogic of knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• A logic for reasoning about evidence
• Logic of evidence-based knowledge
• Logical dynamics of evidence
• Relating logics of justifications and evidence
• Evidence logics with relational evidence
• Epistemic logic with evidence and relevant alternatives
• A Conflict Tolerant Logic of Explicit Evidence
• Information and evidence in logic systems
• A qualitative belief logic
• Credal Calculi, Evidence, and Consistency

Cites work

• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Explicit provability and constructive semantics
• Justified common knowledge
• Provability logics with quantifiers on proofs
• Self-reference and modal logic
• The logic of proofs, semantically

Cited in

(20)

• Semirings of Evidence
• EVIDENCE MEASURES INDUCED BY KRIPKE'S ACCESSIBILITY RELATIONS
• Event-based time-stamped claim logic
• The logic of justified belief, explicit knowledge, and conclusive evidence
• The paradox of the knower revisited
• A logic of knowing why
• Making knowledge explicit: how hard it is
• scientific article; zbMATH DE number 5117159 (Why is no real title available?)
• Evidence Reconstruction of Epistemic Modal Logic S5
• On Realization of -modality by Evidence Terms
• Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
• A logic of plausible justifications
• The ontology of justifications in the logical setting
• Justification logics, logics of knowledge, and conservativity
• Two conceptions of weight of evidence in Peirce's \textit{Illustrations of the logic of science}
• Discovering knowability: a semantic analysis
• Credal Calculi, Evidence, and Consistency
• Aggregating evidence using quantified statements
• Montague's paradox, informal provability, and explicit modal logic
• scientific article; zbMATH DE number 7582524 (Why is no real title available?)

This page was built for publication: A quantified logic of evidence

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