A logic of intentions and beliefs
From MaRDI portal
Publication:689079
DOI10.1007/BF01349562zbMath0808.03010WikidataQ59764752 ScholiaQ59764752MaRDI QIDQ689079
Munindar P. Singh, Nicholas M. Asher
Publication date: 9 December 1993
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
possible worlds; semantics; \(\text{CTL}^*\); cognitive states; Discourse Representation Theory; formal theory of intentions and beliefs; possible times; temporal precedence
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03B80: Other applications of logic
Related Items
A logic of intention and attempt, A semantics for speech acts, A logic-based model of intention formation and action for multi-agent subcontracting
Cites Work