A Decidable Dynamic Logic for Agents with Motivational Attitudes
Renate A. Schmidt, Dmitry Tishkovsky · 2001
Abstract. The present paper defines a multi-modal logic for modelling and verifying the behaviour of intelligent and rational agents. The agents can perform actions, can reason about their own knowledge and their motivational attitudes. We give a Hilbert-style axiomatisation which is proved sound and complete with respect to a Kripke-style semantics. We also show the small model property, decidability, and give lower and upper bounds for the complexity of the satisfiability problem in the logic. 1