An epistemic logic for formalizing group dynamics of agents
In the multi-agent setting, it is relevant to model group dynamics of agents, and logic has
proved a good tool to do so. We propose an epistemic logic, L-DINF-E, that allows one to …
proved a good tool to do so. We propose an epistemic logic, L-DINF-E, that allows one to …
Cooperation among groups of agents in the epistemic logic L-DINF
Abstract The Logic of “Inferable” L-DINF has been recently proposed as a declarative
framework to formally model via epistemic logic (aspects of) the group dynamics of …
framework to formally model via epistemic logic (aspects of) the group dynamics of …
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents
In the multi-agent setting, it is relevant to model group dynamics of agents, and logic has
proved to be an excellent tool. We have proposed in previous work an epistemic logic that …
proved to be an excellent tool. We have proposed in previous work an epistemic logic that …