A Stit Logic of Intentionality.

Aldo Iván Ramírez Abarca Jan M. Broersen

Published in: DaLí (2022)

Keyphrases

logical framework
multi agent systems
coalition logic
inference rules
belief revision
reasoning tasks
modal logic
mental states
computational complexity
lower bound