MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT

DOI10.1142/S0129054192000139MaRDI QIDQ4020488zbMATH OpenOpenAlexFDO

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 logicgraded modalitiesimplicit knowledge

Mathematics Subject Classification ID

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

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

(21)

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

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)