scientific article
From MaRDI portal
Publication:3509070
zbMath1148.03008MaRDI QIDQ3509070
Publication date: 1 July 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items
Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Reasoning About Belief Revision ⋮ Complexity results of STIT fragments ⋮ Combinations of stit and actions ⋮ Unnamed Item ⋮ Expressivity results for deontic logics of collective agency ⋮ Remarks on the logic of imagination. A step towards understanding doxastic control through imagination ⋮ Alternative axiomatics and complexity of deliberative STIT theories ⋮ An axiomatic system and a tableau calculus for STIT imagination logic ⋮ Actions as events ⋮ Proof-theoretic analysis of the logics of agency: the deliberative STIT