Attainable knowledge and omniscience

DOI10.4204/EPTCS.335.24MaRDI QIDQ6642578zbMATH OpenFDO

Authors Pavel Naumov, Jia Tao

Publication date 24 November 2024

Full work available at URL https://doi.org/10.4204/EPTCS.335.24

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Logical Omniscience Via Proof Complexity
• Substructural epistemic logics
• Dynamic Epistemic Logic and Logical Omniscience
• scientific article; zbMATH DE number 589745
• A four-valued dynamic epistemic logic

Cites work

• A Functional calculus of first order based on strict implication
• A logic for reasoning about evidence
• Coalition logic with individual, distributed and common knowledge
• Dynamic epistemic logic
• Dynamic logics of evidence-based beliefs
• Group announcement logic
• scientific article; zbMATH DE number 3614756 (Why is no real title available?)
• scientific article; zbMATH DE number 3616386 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Modality and quantification in S5
• Price of privacy

Cited in

(1)

• A formalization of `ought not to know' based on STIT logic

This page was built for publication: Attainable knowledge and omniscience

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