A model-theoretic analysis of knowledge

DOI10.1145/103516.128680MaRDI QIDQ4302840zbMATH OpenOpenAlexFDO

Authors Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi

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

zbMATH Keywords

common knowledgedistributed systemsepistemologyknowledge structuresKripke structuremodal logicmodel theory of knowledgepossible worldsreasoning about knowledge

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory (03C99) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• What can machines know?
• scientific article; zbMATH DE number 125989
• scientific article; zbMATH DE number 10093
• scientific article; zbMATH DE number 3930375
• scientific article; zbMATH DE number 795590

Cited in

(39)

• The synthesis of communication protocols
• A logico-algebraic approach to the model theory of knowledge
• Knowledge in shared memory systems.
• Belief as defeasible knowledge
• On the logic of common belief and common knowledge
• Common knowledge and update in finite environments
• Knowledge spaces with arbitrarily high rank
• Hierarchies of knowledge: an unbounded stairway
• Topological reasoning and the logic of knowledge
• Changing types: information dynamics for qualitative type spaces
• Knowledge-based strategies for multi-agent teams playing against nature
• A history based logic for dynamic preference updates
• Iterated admissibility through forcing in strategic belief models
• A correct response model in knowledge structure theory
• Discovering knowability: a semantic analysis
• Hierarchies of beliefs for compact possibility models
• On the amount of information resulting from empirical and theoretical knowledge
• A semantics for reasoning consistently in the presence of inconsistency
• scientific article; zbMATH DE number 3888942 (Why is no real title available?)
• scientific article; zbMATH DE number 4201691 (Why is no real title available?)
• scientific article; zbMATH DE number 7444845 (Why is no real title available?)
• scientific article; zbMATH DE number 4152199 (Why is no real title available?)
• scientific article; zbMATH DE number 1222115 (Why is no real title available?)
• What can machines know?
• scientific article; zbMATH DE number 1417195 (Why is no real title available?)
• Exploiting belief bases for building rich epistemic structures
• Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
• scientific article; zbMATH DE number 4197470 (Why is no real title available?)
• 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
• Role of negative properties in knowledge modeling
• A general notion of uniform strategies
• The existence of universal qualitative belief spaces
• Base-based model checking for multi-agent only believing
• Operators of knowledge and ignorance in Heyting algebras
• The hierarchical construction of a universal qualitative belief space
• Conditioning and interpretation shifts
• An impossibility theorem on beliefs in games
• Semantical considerations on multiagent only knowing
• Logic programming as classical inference

This page was built for publication: A model-theoretic analysis of knowledge

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