MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT

DOI10.1142/S0129054192000139zbMATH Open0759.68082OpenAlexW2000176482MaRDI QIDQ4020488FDOQ4020488

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

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

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)

Cited In (19)

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

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)