AI Alignment

• AI Alignment Forum
• LessWrong
• Arbital

Philosophy Blogs

• Deontic logic: consequence relations (by Bas van Fraassen)
• Deontic logic: two paradoxes (by Bas van Fraassen)
• Coinductive definition, an example (by Bas van Fraassen)

Courses

• MIT 6.001 Structure and Interpretation, 1986
• Hamming, "You and Your Research", 1995
• Deontic Logic Teaching Material

Books

• Bridges from Classical to Nonmonotonic Logic (David Makinson)
• Handbook of Deontic Logic and Normative Systems
• Handbook of Formal Argumentation
• Handbook of Normative Multiagent Systems
• Handbook of Logic in Computer Science
• Handbook of Logic in Artificial Intelligence and Logic Programming