We analyse a propositional epistemic logic (LAK), which was described by A. J. Grove and J. Y. Halpern, and it is expressive enough to cope with anonymous agents, evolving groups of agents, and relative reference. o y palabras clave en inglés.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados