A Logical Framework for Multi-Agent Systems and Joint Attitudes.

Lawrence Cavedon Gil Tidhar

Published in: DAI (1995)

Keyphrases

logical framework
coalition logic
normative systems
multi agent systems
inference rules
epistemic logic
belief revision
linear logic
attitudes toward
reasoning tasks
game theory
agent architecture
possibilistic logic
cooperative
decision making
modal logic
general purpose
state space