From BDI and stit to bdi-stit logic

Caroline Semmling, Heinrich Wansing



Since it is desirable to be able to talk about rational agents forming attitudes toward their concrete agency, we suggest an introduction of doxastic, volitional, and intentional modalities into the multi-agent logic of deliberatively seeing to it that, dstit logic. These modalities are borrowed from the well-known BDI (belief-desire-intention) logic. We change the semantics of the belief and desire operators from a relational one to a monotonic neighbourhood semantic in order to handle ascriptions of conflicting but not inconsistent beliefs and desires as being satisfiable. The proposed bdi-stit logic is defined with respect to branching time frames, and it is shown that this logic is a generalization of a bdi logic based on branching time possible worlds frames (but without temporal operators) and dstit logic. The new bdi-stit logic generalizes bdi and dstit logic in the sense that for any model of bdi or dstit logic, there is an equivalent bdi-stit model.


modal logic of agency; deliberative stit logic; BDI logic; beliefs; desires; intensions; neighbourhood semantics; branching time structures

Full Text:



Ajdukiewicz, K., “Das Weltbild und die Begriffsapparatur”, Erkenntnis 4 (1934), 259–287.

Belnap, N.D., and M. Perloff, “Seeing to it that: a canonical form for agentives”, Theoria 54 (1988), 175–199.

Belnap, N.D., M. Perloff, and M. Xu, Facing the Future: Agents and Choices in our Indeterminist World, Oxford UP, New York, 2001.

Bratman, M.E., Intentions, Plans and Practical Reason, Harvard University Press, Cambridge MA, 1987.

Chellas, B., Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.

Fagin, R., J.Y. Halpern, Y. Moses, and M.Y. Vardi, Reasoning about Knowledge, MIT Press, Cambridge MA, 1995.

Fagin, R., and J.Y. Halpern, “Belief, awareness and limited reasoning”, Artificial Intelligence 34 (1988), 39–76.

Georgeff, M.P., and A.S. Rao, “Modeling rational agents within a BDI-architecture”, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann Publishers, San Mateo, 1991.

Georgeff, M.P., and A.S. Rao, “Decision procedures for BDI logics”, Journal of Logic and Computation 8 (1998), 293–342.

Hintikka, J., Knowledge and Belief. An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca NY, 1962, Kings College Publications, London, 2005.

van der Hoek, W., and M. Wooldridge, “Towards a logic of reational agency”, Logic Journal of the IGPL 11 (2003), 135–159.

Horty, J.F., and N.D. Belnap, “The Deliberative Stit: A study of action, omission, ability and obligation”, Journal of Philosophical Logic 24 (1995), 583–644.

Kuhn, T.S., The Structure of Scientific Revolutions, University of Chicago Press, Chicago, 1962.

Prior, A., Past, Present, and Future, Oxford University Press, Oxford, 1967.

Thomason, R., “Indeterminist time and truth-value gaps”, Theoria 36 (1970), 264–281.

Vardi, M., “On epistemic logic and logical omniscience”, pages 293–305 in J.Y. Halpern (ed.), Theoretical Aspects of Reasoning about Knowledge. Proceedings of the 1986 Conference, Morgan Kaufmann Publishers, Los Altos, 1986.

Wansing, H., “A general possible worlds framework for reasoning about knowledge and belief, Studia Logica 49 (1990), 523–539, and 50 (1991), 359.

Wansing, H., “Tableaux for multi-agent deliberative-stit logic”, pages 503–520 in G. Governatori, I. Hodkinson and Y. Venema (eds.), Advances in Modal Logic, vol. 6, College Publications, London, 2006.

Wigner, E.P., “The unreasonable effectiveness of mathematics in the natural sciences”, Communications in Pure and Applied Mathematic 13 (1960), 1–14.

Wooldridge, M., Reasoning about Rational Agents, MIT Press, Cambridge MA, 2000.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism