A sound and complete axiomatic system of bdi-stit logic

MaRDI QIDQ4903808zbMATH OpenFDO

Authors Caroline Semmling, Heinrich Wansing

Publication date 27 January 2013

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• From BDI and stit to bdi-stit logic
• Tableaux for multi-agent deliberative-stit logic
• An axiomatic system and a tableau calculus for STIT imagination logic
• Reasoning About Belief Revision
• Axioms for deliberative stit

Cited in

(5)

• An axiomatic system and a tableau calculus for STIT imagination logic
• Inference as doxastic agency. I: The basics of justification stit logic
• Reasoning About Belief Revision
• Tableaux for multi-agent deliberative-stit logic
• From BDI and stit to bdi-stit logic

This page was built for publication: A sound and complete axiomatic system of bdi-stit logic

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