Pages that link to "Item:Q4020488"
From MaRDI portal
The following pages link to MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT (Q4020488):
Displaying 18 items.
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926) (← links)
- On the factivity of implicit intersubjective knowledge (Q484978) (← links)
- Reasoning about coalitional games (Q834401) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- Relativized common knowledge for dynamic epistemic logic (Q898782) (← links)
- View-based explicit knowledge (Q1295424) (← links)
- Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
- Group knowledge is not always distributed (neither is it always implicit) (Q1806307) (← links)
- Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
- Distributed knowledge justification logics (Q2254486) (← links)
- Simulative belief logic (Q2446544) (← links)
- Public Announcement Logic with Distributed Knowledge (Q3094018) (← links)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
- Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic (Q3605530) (← links)
- A hierarchy of modal logics with relative accessibility relations (Q4531580) (← links)
- Modal logics for reasoning about infinite unions and intersections of binary relations (Q4583172) (← links)
- О трудностях определения имплицитного знания группы (Q5059704) (← links)
- Group Belief (Q5098739) (← links)
