| Original language | English |
|---|---|
| Title of host publication | Methods for Modalities-2 Workshop Proceedings (M4M'01) |
| Publication status | Published - Nov 2001 |
A Decidable Dynamic Logic for Agents with Motivational Attitudes
Renate A Schmidt, Dmitry Tishkovsky
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review