Logic and Logical Philosophy 17 (1-2):185-207 (2008)

Heinrich Wansing
Ruhr-Universität Bochum
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
Keywords deliberative stit logic  modal logic of agency  neighbourhood semantics  beliefs  intensions  branching time structures  desires  BDI logic
Categories (categorize this paper)
DOI 10.12775/LLP.2008.011
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,262
Through your library

References found in this work BETA

Belief, Awareness, and Limited Reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.

View all 12 references / Add more references

Citations of this work BETA

Boulesic-Doxastic Logic.Daniel Rönnedal - 2019 - Australasian Journal of Logic 16 (3):83.
Making a Start with the Stit Logic Analysis of Intentional Action.Jan M. Broersen - 2011 - Journal of Philosophical Logic 40 (4):499-530.
La logique des verbes intentionnels.Paul Gochet - 2010 - Bulletin d'Analyse Phénoménologique (8: Questions d'intentionnalité ().

Add more citations

Similar books and articles

Axioms for Deliberative Stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
Combinations of Stit and Actions.Ming Xu - 2010 - Journal of Logic, Language and Information 19 (4):485-503.
A Dynamic Logic of Agency I: Stit, Capabilities and Powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
Uncompactness of Stit Logics Containing Generalized Refref Conditionals.Ming Xu - 1998 - Notre Dame Journal of Formal Logic 39 (4):485-506.
Actions as Events.Ming Xu - 2012 - Journal of Philosophical Logic 41 (4):765 - 809.
On the Basic Logic of STIT with a Single Agent.Ming Xu - 1995 - Journal of Symbolic Logic 60 (2):459-483.
Complexity Results of STIT Fragments.François Schwarzentruber - 2012 - Studia Logica 100 (5):1001-1045.
Stit and the Language of Agency.Michael Perloff - 1991 - Synthese 86 (3):379 - 408.
Decidability of an Xstit Logic.Gillman Payette - 2014 - Studia Logica 102 (3):577-607.
Making a Start with the Stit Logic Analysis of Intentional Action.Jan M. Broersen - 2011 - Journal of Philosophical Logic 40 (4):499-530.


Added to PP index

Total views
395 ( #22,469 of 2,455,764 )

Recent downloads (6 months)
1 ( #449,201 of 2,455,764 )

How can I increase my downloads?


My notes