Topological Evidence Logics: Multi-agent Setting

DOI10.1007/978-3-030-98479-3_12MaRDI QIDQ6487230zbMATH OpenFDO

Authors Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González

Publication date 11 August 2022

Full work available at URL https://doi.org/10.1007/978-3-030-98479-3_12

Mathematics Subject Classification ID

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

Recommendations

• Justified belief and the topology of evidence
• Uncertainty about evidence
• scientific article; zbMATH DE number 5000948
• Logics for multi-subset spaces
• Dynamic logics of evidence-based beliefs

Cites work

• A guide to completeness and complexity for modal logics of knowledge and belief
• Dynamic logics of evidence-based beliefs
• Handbook of Spatial Logics
• scientific article; zbMATH DE number 5000948 (Why is no real title available?)
• scientific article; zbMATH DE number 4154410 (Why is no real title available?)
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• Justified belief and the topology of evidence
• Modal logic
• Multimodal logics of products of topologies
• Structures for epistemic logic
• The algebra of topology
• The Mckinsey-Tarski theorem for topological evidence logics

Cited in

(2)

• Uncertainty about evidence
• Stalnaker's epistemic logic in Isabelle/HOL

This page was built for publication: Topological Evidence Logics: Multi-agent Setting

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