A logic of intentions and beliefs

DOI10.1007/BF01349562zbMath0808.03010DBLPjournals/jphil/SinghA93WikidataQ59764752 ScholiaQ59764752MaRDI QIDQ689079

Nicholas M. Asher, Munindar P. Singh

Publication date: 9 December 1993

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

possible worldssemantics\(\text{CTL}^*\)cognitive statesDiscourse Representation Theoryformal theory of intentions and beliefspossible timestemporal precedence

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)

Related Items (4)

A semantics for speech acts ⋮ Intentions and potential intentions revisited ⋮ A logic of intention and attempt ⋮ A logic-based model of intention formation and action for multi-agent subcontracting

Cites Work

• Formal theories of knowledge in AI and robotics
• Belief, awareness, and limited reasoning
• Intention is choice with commitment
• Nonmonotonic Logic II
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A logic of intentions and beliefs