A theory of knowledge and ignorance for many agents

DOI10.1093/logcom/7.1.79zbMath0881.03014OpenAlexW2007448387MaRDI QIDQ2785840

Joseph Y. Halpern

Publication date: 26 February 1997

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4a8729f61f208e1bd6066399a54c423e61149f0d

zbMATH Keywords

modal logicpossible worldspossibilityKripke structuremany agentsonly knowing

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (7)

Multi-modal nonmonotonic logics of minimal knowledge ⋮ A logical modeling of severe ignorance ⋮ Knowledge and communication: A first-order theory ⋮ Reasoning about ignorance and beliefs ⋮ Relating Truth, Knowledge and Belief in Epistemic States ⋮ Logic programming for finding models in the logics of knowledge and its applications: A case study ⋮ The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic

This page was built for publication: A theory of knowledge and ignorance for many agents