The Encoding

What Logic?

• Typed First-order Form (TFF) and Typed Higher-order Form (THF)
• Modalities (not used yet)

Framework and Moriality Encoding

• Scenario axioms
• Background axioms
• Morality Axioms (Anjou)