From BDI and stit to bdi-stit logic (Q3534988)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | From BDI and stit to bdi-stit logic |
scientific article |
Statements
From BDI and stit to bdi-stit logic (English)
0 references
10 November 2008
0 references
modal logic of agency
0 references
deliberative stit logic
0 references
BDI logic
0 references
beliefs
0 references
desires
0 references
intentions
0 references
neighbourhood semantics
0 references
branching time structure
0 references