A model-theoretic analysis of knowledge
From MaRDI portal
Publication:4302840
DOI10.1145/103516.128680zbMath0799.68177OpenAlexW2016917647MaRDI QIDQ4302840
Moshe Y. Vardi, Ronald Fagin, Joseph Y. Halpern
Publication date: 21 August 1994
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/103516.128680
modal logicpossible worldsdistributed systemscommon knowledgeepistemologyKripke structurereasoning about knowledgeknowledge structuresmodel theory of knowledge
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Model theory (03C99) Knowledge representation (68T30)
Related Items
On the logic of common belief and common knowledge, The synthesis of communication protocols, 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09, Knowledge-based strategies for multi-agent teams playing against nature, An impossibility theorem on beliefs in games, Topological reasoning and the logic of knowledge, Common knowledge and update in finite environments, Knowledge spaces with arbitrarily high rank, A semantics for reasoning consistently in the presence of inconsistency, Semantical considerations on multiagent only knowing, The existence of universal qualitative belief spaces, Logic programming as classical inference, A history based logic for dynamic preference updates, Unnamed Item, Unnamed Item, Iterated admissibility through forcing in strategic belief models, A GENERAL NOTION OF UNIFORM STRATEGIES, Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces, Conditioning and interpretation shifts, Hierarchies of beliefs for compact possibility models, Changing types: information dynamics for qualitative type spaces, Hierarchies of knowledge: an unbounded stairway, Knowledge in shared memory systems., Belief as defeasible knowledge
