Publication:3509070
From MaRDI portal
zbMath1148.03008MaRDI QIDQ3509070
Publication date: 1 July 2008
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
Related Items
Combinations of \textit{stit} with \textit{ought} and \textit{know}, Combinations of stit and actions, Actions as events, Alternative axiomatics and complexity of deliberative STIT theories, Remarks on the logic of imagination. A step towards understanding doxastic control through imagination, An axiomatic system and a tableau calculus for STIT imagination logic, Complexity results of STIT fragments, Reasoning About Belief Revision