A quantified logic of evidence

DOI10.1016/j.apal.2007.11.003zbMath1133.03008OpenAlexW1972836303MaRDI QIDQ2478547

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 logiclogic of proofsjustification logicrealization theoremlogic of knowledge

Mathematics Subject Classification ID

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

Related Items

The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ The paradox of the knower revisited ⋮ A logic of knowing why ⋮ Discovering knowability: a semantic analysis ⋮ The ontology of justifications in the logical setting ⋮ Montague's paradox, informal provability, and explicit modal logic ⋮ Event-based time-stamped claim logic ⋮ A logic of plausible justifications ⋮ Justification logics, logics of knowledge, and conservativity

Cites Work

• The logic of proofs, semantically
• Self-reference and modal logic
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• Provability logics with quantifiers on proofs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item