The following pages link to (Q4955425):
Displayed 9 items.
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926) (← links)
- Reasoning about coalitional games (Q834401) (← links)
- Relativized common knowledge for dynamic epistemic logic (Q898782) (← links)
- A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966) (← links)
- Group knowledge is not always distributed (neither is it always implicit) (Q1806307) (← links)
- Distributed knowledge justification logics (Q2254486) (← links)
- Public Announcement Logic with Distributed Knowledge (Q3094018) (← links)
- Proof Theory for Distributed Knowledge (Q3602943) (← links)
- Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic (Q3605530) (← links)