EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS

DOI10.1017/S1755020318000497OpenAlexW2791039533WikidataQ128631376 ScholiaQ128631376MaRDI QIDQ5381039

Pavel Naumov, Jia Tao

Publication date: 7 June 2019

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020318000497

zbMATH Keywords

agentsepistemic logicquantifiersdistributed knowledgebarcan formula

Mathematics Subject Classification ID

Philosophical aspects of logic and foundations (03A99)

Related Items

Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ Epistemic Logics of Structured Intensional Groups ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Quantifier-free epistemic term-modal logic with assignment operator

Cites Work

• The logic of proofs, semantically
• A Henkin completeness theorem for T
• Modality and quantification in S5
• A completeness theorem in modal logic
• THE LOGIC OF JUSTIFICATION
• Propositional quantifiers in modal logic1
• Barcan Both Ways
• A Functional calculus of first order based on strict implication
• Unnamed Item
• Unnamed Item
• Unnamed Item