社会的コミュニケーションにおける発話の役割を解明するためには、その際遂行される指令、約束、主張、譲歩等の言語行為の効果を適切に捉えることが必要である。本研究では、指令および約束の効果を捉える動的義務論理と、主張と譲歩の効果を捉える動的な命題的コミットメントの論理を定式化し、それぞれの完全性を証明するとともに、取り消し行為の効果の分析も行い、動的様相論理による言語行為研究の可能性を開拓した。