The following pages link to (Q3425580):
Displaying 6 items.
- Logic and social cognition. The facts matter, and so do computational models (Q843769) (← links)
- Converse-PDL with regular inclusion axioms: a framework for MAS logics (Q2901207) (← links)
- On the Complexity of Two-Agent Justification Logic (Q2921954) (← links)
- Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic (Q3605530) (← links)
- (Q4461957) (← links)
- (Q4738611) (← links)