The following pages link to (Q4955425):
Displaying 19 items.
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926) (← links)
- Reasoning about common knowledge with infinitely many agents (Q598197) (← links)
- Reasoning about coalitional games (Q834401) (← links)
- Relativized common knowledge for dynamic epistemic logic (Q898782) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← 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)
- Intuitionistic multi-agent subatomic natural deduction for belief and knowledge (Q3382806) (← links)
- Proof Theory for Distributed Knowledge (Q3602943) (← 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)
- (Q4028802) (← links)
- Multiple agent possibilistic logic (Q4583321) (← links)
- Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge (Q4925179) (← links)
- (Q5018508) (← links)
- Coalition logic with individual, distributed and common knowledge1 (Q5215820) (← links)
- Reasoning with Multiple-Agent Possibilistic Logic (Q5268415) (← links)
