广义逻辑悖论的历史发展

摘要：西格伯格把行动后果的传递性作为动态行动逻辑的一个公理，这似乎没有什么问题。然而，切拉斯发现，这种行动后果的传递性在技术上会导致一个“行动传递怪论”的公式。通过还原切拉斯的...