Tableaux for multi-agent deliberative-stit logic

MaRDI QIDQ3509070zbMATH OpenFDO

Authors Heinrich Wansing

Publication date 1 July 2008

zbMATH Keywords

actionstittableaux

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1536564
• A sound and complete axiomatic system of bdi-stit logic
• Axioms for deliberative stit
• A dynamic logic of agency. I: STIT, capabilities and powers
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

Cited in

(18)

• Axioms for deliberative stit
• 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
• Proof-theoretic analysis of the logics of agency: the deliberative STIT
• Combinations of \textit{stit} with \textit{ought} and \textit{know}
• Reasoning About Belief Revision
• From BDI and stit to bdi-stit logic
• scientific article; zbMATH DE number 1536564 (Why is no real title available?)
• A sound and complete axiomatic system of bdi-stit logic
• Normative reasoning and consequence
• Expressivity results for deontic logics of collective agency
• Combinations of stit and actions
• Bringing de re and de dicto into STIT logic
• Actions as events
• Alternative axiomatization for logics of agency in a G3 calculus
• Proof theory and decision procedures for deontic STIT logics
• Alternative axiomatics and complexity of deliberative STIT theories

This page was built for publication: Tableaux for multi-agent deliberative-stit logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3509070)