Syntactical treatments of propositional attitudes

DOI10.1016/S0004-3702(98)00085-XzbMath0917.68205MaRDI QIDQ1275601

Sarit Kraus, Michael Morreau

Publication date: 12 January 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

intentionrepresenting belief

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (1)

A logic-based model of intention formation and action for multi-agent subcontracting

Cites Work

• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• A syntactic theory of belief and action
• A note on syntactical treatments of modality
• Automated Theorem Proving: After 25 Years
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Syntactical treatments of propositional attitudes