MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
From MaRDI portal
Publication:4020488
DOI10.1142/S0129054192000139zbMath0759.68082OpenAlexW2000176482MaRDI QIDQ4020488
Wiebe van der Hoek, John-Jules Ch. 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
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items (17)
A hierarchy of modal logics with relative accessibility relations ⋮ Reasoning about coalitional games ⋮ Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ О трудностях определения имплицитного знания группы ⋮ Logics with group announcements and distributed knowledge: completeness and expressive power ⋮ Modal logics for reasoning about infinite unions and intersections of binary relations ⋮ Group Belief ⋮ Relativized common knowledge for dynamic epistemic logic ⋮ Simulative belief logic ⋮ Second-order propositional modal logic: expressiveness and completeness results ⋮ 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 ⋮ Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic ⋮ Group knowledge is not always distributed (neither is it always implicit) ⋮ Public Announcement Logic with Distributed Knowledge ⋮ View-based explicit knowledge
This page was built for publication: MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT