The following pages link to Knowledge in multiagent systems (Q5738907):
Displaying 9 items.
- Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom (Q1042695) (← links)
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective (Q1882902) (← links)
- A simplicial complex model for dynamic epistemic logic to study distributed task computability (Q2029604) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)
- Possible Worlds Semantics Based on Observation and Communication (Q3299583) (← links)
- Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- Knowledge acquisition in multi-agent systems: a formalization of the Eleusis card game (Q6579976) (← links)
