MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT

DOI10.1142/S0129054192000139MaRDI QIDQ4020488zbMATHOpenAlexFDO

Authors Wiebe van der Hoek, John-Jules Meyer

Publication date 16 January 1993

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054192000139

zbMATH Keywords

epistemic logicimplicit knowledgegraded modalities

Mathematics Subject Classification ID

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

Recommendations

• Making knowledge explicit: how hard it is
• Implicit, explicit and speculative knowledge
• Reconsidering the `ingredients' of explicit knowledge
• scientific article; zbMATH DE number 2079268
• О трудностях определения имплицитного знания группы
• On the factivity of implicit intersubjective knowledge

Cited in

(19)

• Group Belief
• Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic
• Reasoning about coalitional games
• Second-order propositional modal logic: expressiveness and completeness results
• Public announcement logic with distributed knowledge
• A hierarchy of modal logics with relative accessibility relations
• Logics with group announcements and distributed knowledge: completeness and expressive power
• Modal logics for reasoning about infinite unions and intersections of binary relations
• О трудностях определения имплицитного знания группы
• Group knowledge is not always distributed (neither is it always implicit)
• Simulative belief logic
• Relativized common knowledge for dynamic epistemic logic
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• View-based explicit knowledge
• Explicit and implicit knowledge in neighbourhood models
• On the factivity of implicit intersubjective knowledge
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• Distributed knowledge justification logics
• A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems

This page was built for publication: MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT

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